How Mathematics Is Built
This closing lesson steps back to see how the tools of the unit fit together into the architecture of mathematics — a structure of remarkable rigor and cumulative power. Every field of mathematics is built on the same foundation.
The building blocks form a hierarchy:
- Axioms — statements accepted without proof, the starting assumptions of a theory (e.g. the axioms of a group, or Euclid's postulates). They are the agreed-upon ground.
- Definitions — precise specifications of terms, giving each concept an exact meaning so reasoning cannot slip on ambiguity.
- Theorems — statements proved from axioms, definitions, and prior theorems. A lemma is a helper theorem proved along the way; a corollary follows quickly from a theorem.
- Proofs — the valid logical arguments (direct, contrapositive, contradiction, induction) that establish theorems.
Everything chains together: definitions fix meaning, axioms provide the ground, and proofs derive theorems that become available to prove further theorems. This is why mathematics is cumulative — once a theorem is proved, it stands forever and can be used freely, so knowledge accumulates without ever being overturned (unlike empirical science, where theories are revised).
The logic of this unit is the connective tissue: statements and connectives express claims precisely, quantifiers scope them over domains, implication structures every "if-then" theorem, and the proof techniques are the sanctioned ways to move from premises to conclusions. Sets, functions, and relations provide the objects that theorems are about. Mastering this language is the true prerequisite for all higher mathematics: not any single topic, but the disciplined habit of stating claims precisely and justifying them with airtight reasoning.
Common pitfall: blurring the distinction between an axiom (assumed without proof) and a theorem (proved from axioms). Axioms are the accepted starting points; theorems are earned by proof. Treating a theorem as if it needed no justification — or an axiom as if it required one — misunderstands the structure. Likewise, a definition is a stipulation of meaning, not a claim to be proved.