The Power of First-Order Logic

Mathematical Logic · Axiom Academy

INTRO The Power of First-Order Logic Discover what makes FOL the universal language of mathematics and where its boundaries lie. First-order logic is remarkably powerful. Click on each mathematical statement to see if FOL can express it. Click on each mathematical domain to see how FOL axiomatizes it with formal rules. FOL: The Foundation of Mathematics Why is FOL so fundamental? It provides a universal framework for mathematical reasoning. Despite its power, FOL has fundamental limitations. Click each limitation to explore what FOL cannot express. FOL can express vast swaths of mathematics: arithmetic, algebra, analysis, topology, set theory, and more. Its quantifiers (∀, ∃) and logical connectives (∧, ∨, →, ¬) provide a precise language for mathematical statements. By writing axioms in FOL, we can formalize entire mathematical theories. Set theory in FOL (ZFC) serves as the foundation for virtually all of modern mathematics. Every theorem proven is a logical consequence of axioms. FOL cannot express finiteness, second-order properties, or force specific infinite sizes. Gödel showed FOL theories of arithmetic are incomplete. These aren't bugs—they're fundamental features of formal systems that teach us about the nature of mathematical truth.

This is the written version of the interactive lesson above. See the full Mathematical Logic course.