What is a Formal Proof?

Mathematical Logic · Axiom Academy

Discover the difference between informal reasoning and rigorous formal proofs through interactive exploration! Read these two "proofs" that 2 + 2 = 4. Which one would you trust in a mathematical system? Why Rigorous Justification Matters Consider these three "proofs" of the same claim. Click on each to see why formal justification is essential. The Components of a Valid Proof A formal proof has specific required components. Drag the correct justifications to complete this proof. Every formal proof follows a standard structure. Let's examine the essential parts. Clear axioms and definitions - the foundation Explicit hypotheses - what we're assuming Justified steps - using inference rules Logical necessity - conclusion must follow No gaps - every step accounted for Formal proofs aren't just "more careful" informal proofs - they're a fundamentally different way of establishing truth. By requiring explicit justification for every step, formal proofs eliminate ambiguity and create mathematical certainty. This rigor is essential in mathematical logic, where we need to reason about reasoning itself!

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