Back to Home

God & Science Forum Message

Forums: Atm · Astrophotography · Blackholes · Blackholes2 · CCD · Celestron · Domes · Education
Eyepieces · Meade · Misc. · God and Science · SETI · Software · UFO · XEphem
RSS Button

Home | Discussion Forums | God and Science | Post

Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place...
The Space and Astronomy Agora
Simple Sentence

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Harvey on July 17, 2003 20:18:06 UTC


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.

Follow Ups:

Login to Post
Additional Information
About Astronomy Net | Advertise on Astronomy Net | Contact & Comments | Privacy Policy
Unless otherwise specified, web site content Copyright 1994-2024 John Huggins All Rights Reserved
Forum posts are Copyright their authors as specified in the heading above the post.
"dbHTML," "AstroGuide," "ASTRONOMY.NET" & "VA.NET"
are trademarks of John Huggins