The Architecture of Math
Mathematics is a structure of remarkable rigor and cumulative power, built on an interconnected hierarchy of building blocks.
| Concept | Role in the System |
|---|---|
| Axioms | Statements accepted without proof; starting assumptions. |
| Definitions | Precise specifications giving exact meaning to terms. |
| Theorems | Statements proved from axioms and prior theorems. |
| Proofs | Valid logical arguments establishing theorems. |
Auxiliary theorems include lemmas (helper theorems) and corollaries (which follow quickly from a theorem). Mathematics is cumulative: once proved, a theorem stands forever.
Logic and Pitfalls
The logic of this unit provides the connective tissue: statements and connectives express claims, quantifiers scope them, implication structures every "if-then" claim, and proof techniques move from premises to conclusions.
Common pitfall: Blurring the distinction between an axiom (assumed without proof) and a theorem (earned by proof). Treating a theorem as if it needs no justification, or an axiom as if it requires one, misunderstands the structure. A definition is a stipulation of meaning, never a claim to be proved.