— Ch. 1 · Defining Theoremhood —
Theorem.
~5 min read · Ch. 1 of 7
In 1940, the National Council of Teachers of Mathematics published a book that included at least 370 known proofs for the Pythagorean theorem. This single geometric fact illustrates how a statement becomes a theorem only when it has been proven through logical argument. A theorem is not merely an assertion; it is a statement that can be derived from axioms using specific inference rules within a deductive system. In mainstream mathematics, these axioms and rules are often left implicit, usually relying on Zermelo, Fraenkel set theory with the axiom of choice or Peano arithmetic. An assertion earns the title of theorem only if it is a proved result that does not follow immediately from other known theorems. Many authors reserve this label for their most important results while labeling less significant findings as lemmas, propositions, or corollaries.
Foundations Crisis History
Until the end of the 19th century, mathematical theories relied on basic properties considered self-evident postulates like Euclid's claim that exactly one line passes through two distinct points. These foundational assumptions were treated as absolute truths, making any proved theorem a definitive fact unless a proof error existed. The discovery of non-Euclidean geometries shattered this certainty by showing that denying Euclid's fifth postulate leads to consistent systems where triangle angles do not sum to 180 degrees. Russell's paradox further exposed contradictions in the use of evident basic properties regarding sets. This crisis forced mathematicians to revisit foundations to establish rigorous rules for manipulating sets. Modern theorems now depend solely on the correctness of their proofs rather than the truth or significance of the underlying axioms. A theorem stating that the sum of interior angles equals 180 degrees now applies strictly under the specific axioms and inference rules of Euclidean geometry.Proof Theory And Logic
Mathematical logic formalized the concepts of theorems and proofs into well-formed formulas within a formal language. A theory consists of basis statements called axioms and deducing rules that allow the derivation of new statements. Proof theory emerged from this formalization to study the structural properties of these logical arguments. Gödel's incompleteness theorems demonstrated that every consistent theory containing natural numbers has true statements that cannot be proven inside that theory. Goodstein's theorem serves as an example; it can be stated in Peano arithmetic but is provable only in more general theories like Zermelo, Fraenkel set theory. In mathematical logic, a formal theory is defined as a set of sentences within a formal language where each sentence is a well-formed formula with no free variables. The closure of the empty set under logical consequence yields the set of theorems for that deductive system. These formal theorems may remain uninterpreted sentences until mathematicians assign them meaning through interpretation.