Concepts Expressible in Infinitary Logic
In the language of set theory the following statement expresses foundation:
Unlike the axiom of foundation, this statement admits no non-standard interpretations. The concept of well foundedness can only be expressed in a logic which allows infinitely many quantifiers in an individual statement. As a consequence many theories, including Peano arithmetic, which cannot be properly axiomatised in finitary logic, can be in a suitable infinitary logic. Other examples include the theories of non-archimedean fields and torsion-free groups. These three theories can be defined without the use of infinite quantification; only infinite junctions are needed.
Read more about this topic: Infinitary Logic
Famous quotes containing the words concepts and/or logic:
“When you have broken the reality into concepts you never can reconstruct it in its wholeness.”
—William James (18421910)
“The usefulness of madmen is famous: they demonstrate societys logic flagrantly carried out down to its last scrimshaw scrap.”
—Cynthia Ozick (b. 1928)