Michael,

I'll give you my understanding of 'true' in formal systems (e.g., mathematics) in a simple sentence:

In any consistent formal system F (including mathematics) a statement S in F is 'true' (or T, or grue, or moo, or whatever you want to call it) if and only if S can be derived from the axioms of that formal system using only the rules of inference along with any defined and undefined terms, symbols, variables as allowed or included in F.

• Your sentence is un-moo - mikelev - July 18, 2003 - 13:22 UTC
  • Correction...(?) - smartguy - July 18, 2003 - 19:11 UTC
    • I concur - harvey1 - July 18, 2003 - 21:16 UTC
  • Un-moo? - harvey1 - July 18, 2003 - 21:00 UTC
    • A definition of mathematical truth - harvey1 - July 19, 2003 - 14:32 UTC
      • eternal life - dolphin - July 20, 2003 - 12:13 UTC
        • Good grief - harvey1 - July 20, 2003 - 14:50 UTC
          • Alan, he'll do it! He can also remove posts! - quiet - July 20, 2003 - 15:20 UTC
          • explanation - dolphin - July 20, 2003 - 16:34 UTC
            • Another explanation - harvey1 - July 21, 2003 - 02:42 UTC
              • I can explain - dolphin - July 21, 2003 - 05:31 UTC
                • Not an answer - harvey1 - July 21, 2003 - 11:41 UTC
                  • A car at an intersection - dolphin - July 23, 2003 - 07:55 UTC
      • math-world - dolphin - July 20, 2003 - 17:10 UTC
        • Let's not get carried away - harvey1 - July 21, 2003 - 04:02 UTC
          • Recognized names in the field of philosophy - quiet - July 21, 2003 - 04:43 UTC
            • definition and meeting - dolphin - July 21, 2003 - 05:21 UTC
          • Why no reply? - harvey1 - July 21, 2003 - 11:47 UTC
          • reply part one - dolphin - July 22, 2003 - 08:52 UTC
          • reply part two - dolphin - July 22, 2003 - 09:41 UTC
          • reply part three - dolphin - July 23, 2003 - 07:04 UTC