Theory

⚡ Key Takeaways

Theory (in mathematics) is a structured, deductively-organized body of knowledge consisting of axioms, definitions, and theorems derived by logical inference. Key result in words: every theorem of a theory is a logical consequence of its axioms. Where it applies: all branches of mathematics — geometry, number theory, set theory, algebra — and the formal sciences. Who/when: formalized from Euclid (c. 300 BCE) through Hilbert, Gödel, and Tarski (1900–1936).

💡 The Core Insight

A theory is not just "a guess" (as in everyday speech) but a deductive machine: you feed in axioms, turn the crank of logic, and out come theorems. Truth inside a theory means derivability from the axioms — nothing more, nothing less. Change the axioms and you change which statements are theorems, producing an entirely different theory.

DefinitionAxiom

An axiom (or postulate) is a statement accepted as true without proof, serving as a starting point for deduction. The set of all axioms of a theory is denoted $\Gamma$ (or sometimes $A$ ).

DefinitionTheory

Given a formal language $\mathcal{L}$ and a set of axioms $\Gamma$ , a theory $T$ is the set of all sentences provable from $\Gamma$ :

1

\quad T = \{\, \varphi \in \mathcal{L} : \Gamma \vdash \varphi \,\}

Derivation hint: $\varphi$ is any sentence of the language; $\Gamma \vdash \varphi$ reads " $\varphi$ is derivable from $\Gamma$ "; the braces collect every such $\varphi$ . Here $\vdash$ is the syntactic derivability symbol. A theory is called deductively closed because if $T \vdash \varphi$ then $\varphi \in T$ already.

DefinitionModel and Semantic Consequence

A model $\mathcal{M}$ of a theory $T$ is a mathematical structure in which every axiom (hence every theorem) is true. We write $\mathcal{M} \models \varphi$ for " $\varphi$ is true in $\mathcal{M}$ ," and the semantic consequence relation is:

2

\quad \Gamma \models \varphi \iff \text{every model of } \Gamma \text{ satisfies } \varphi

Derivation hint: read $\models$ as "satisfies/entails semantically"; the right side says no model makes $\Gamma$ true while making $\varphi$ false.

TheoremGödel's Completeness Theorem (1930)

For first-order logic, the syntactic and semantic consequence relations coincide:

3

\quad \Gamma \vdash \varphi \iff \Gamma \models \varphi

Derivation hint: $\Rightarrow$ (soundness) checks each inference rule preserves truth; $\Leftarrow$ (completeness) builds a model from a maximally consistent set extending $\Gamma$ . In words: a statement is provable exactly when it is true in every model. This anchors abstract symbol-pushing to genuine truth.

TheoremProperties of a Theory

A theory $T$ may possess:

Consistency: there is no sentence $\varphi$ with both $T \vdash \varphi$ and $T \vdash \neg\varphi$ .
Completeness: for every sentence $\varphi$ , either $T \vdash \varphi$ or $T \vdash \neg\varphi$ .
Independence of axioms: no axiom is derivable from the others.

4

\quad T \text{ consistent} \iff \exists \mathcal{M}\ (\mathcal{M} \models T)

Derivation hint: a theory with a model cannot prove a contradiction (since contradictions are false in all structures); conversely consistency yields a model by the completeness theorem.

ProofWhy consistent ⇒ has a model (sketch)

We outline the model-construction at the heart of Gödel's completeness theorem. 1. Assume $T$ is consistent: no proof of a contradiction exists from $T$ . 2. Extend $T$ to a maximal consistent set $T^*$ by adding, one at a time, each sentence $\varphi$ or its negation $\neg\varphi$ — whichever keeps the set consistent (Lindenbaum's Lemma). 3. Add witnesses (Henkin constants): for every existential sentence $\exists x\,\psi(x)$ in $T^*$ , introduce a new constant $c$ and the axiom $\psi(c)$ , preserving consistency. 4. Build the model $\mathcal{M}$ whose universe is the set of closed terms, with predicates and functions interpreted exactly as $T^*$ dictates. 5. Verify by induction on formula structure that $\mathcal{M} \models \varphi \iff \varphi \in T^*$ . Since $T \subseteq T^*$ , every axiom of $T$ is true in $\mathcal{M}$ . $\blacksquare$

∎

⚠️ Common mistake

The construction above is non-constructive and non-effective — it tells us a model exists but gives no algorithm to compute it for arbitrary theories.

mathematician · David Hilbert | 1862–1943

Hilbert championed the axiomatic method as the foundation of all mathematics. His 1899 Grundlagen der Geometrie re-derived Euclidean geometry from a clean, gap-free set of axioms, exposing hidden assumptions Euclid had used silently. In 1900 he posed 23 problems steering 20th-century mathematics, and his program sought to prove all of mathematics consistent and complete using only finitary methods. Gödel's incompleteness theorems (1931) showed this dream could not be fully realized — yet Hilbert's vision of theories as formal systems remains the bedrock of modern logic.

🧠 Intuition

Think of a theory as a board game. The axioms are the starting position; the inference rules are the legal moves; the theorems are every position you can legally reach. You never ask whether a chess move is "really true in the universe" — only whether it follows the rules. Likewise, a theorem is "true" relative to its theory. Swap the rulebook (the axioms) and a whole new game — a new theory — appears, with different reachable positions.

Figure

A theory as deductive closure: axioms generate theorems by inference

ExampleCounting consequences of a tiny theory

Given: Language with one binary relation $<$ and axioms for a strict linear order on a 3-element set $\{a,b,c\}$ , plus the facts $a<b$ and $b<c$ .

Steps: 1. Axiom of transitivity: $(x<y) \wedge (y<z) \Rightarrow (x<z)$ . 2. Apply to $a<b$ and $b<c$ : derive $a<c$ . 3. Axiom of irreflexivity forbids $a<a,\ b<b,\ c<c$ . 4. Axiom of trichotomy forces, for each pair, exactly one ordering; combined with the above we fix all three comparisons. The theorems include the three ordered facts $a<b,\ b<c,\ a<c$ .

\boxed{\text{Number of "less-than" theorems on these elements} = 3}

ExampleTesting independence of an axiom

Given: A theory with axioms $A_1:\ \forall x\,(P(x))$ and $A_2:\ \exists x\,(P(x))$ . Is $A_2$ independent of $A_1$ ?

Steps: 1. Independence requires a model where $A_1$ holds but $A_2$ fails (or vice versa). 2. $A_1$ says "everything has property $P$ "; $A_2$ says "something has $P$ ." 3. In any non-empty domain, $A_1 \Rightarrow A_2$ (universal implies existential when at least one object exists). So $A_2$ is not independent over non-empty domains. 4. Only in the (usually excluded) empty domain could $A_1$ hold while $A_2$ fails.

\boxed{A_2 \text{ is redundant given } A_1 \text{ on non-empty domains}}

Units are not applicable — this is a logical (dimensionless) result.

⚠️ Common mistake

In everyday English, "theory" means a hunch or unproven guess ("it's just a theory"). In mathematics a theory is the opposite: a fully rigorous deductive structure. Conflating the two leads to the false claim that mathematical theories are speculative. They are as certain as their axioms and the rules of logic allow.

CounterexampleA complete theory can still be uninteresting

One might think completeness is always desirable. Consider the theory of a single element with equality only. It is complete and consistent — yet it proves almost nothing of interest. Meanwhile Peano Arithmetic, which is interesting, is necessarily incomplete by Gödel. So richness and completeness pull against each other: a theory powerful enough to be useful sacrifices completeness.

connection

A theory rests on a chosen Axiomatic System and is studied using the tools of Mathematical Logic and Set Theory. Its statements live in a Formal Language, and their truth is analyzed via Model Theory. Particular theories include Euclidean Geometry, Peano Arithmetic, and Group Theory — each is a different choice of axioms producing a different deductive closure. The limits of theories are charted by Gödel's Incompleteness Theorems.

🔬 Where this appears

⏳ History

- c. 300 BCE — Euclid's Elements presents geometry as a deductive theory from 5 postulates and common notions; the model for all later mathematics.

- 1637 — Descartes links geometry and algebra, hinting that different theories can be translated into one another.

- 1733/1830s — Saccheri, Bolyai, and Lobachevsky develop non-Euclidean geometry, proving the parallel postulate independent — different axioms, different valid theories.

- 1879 — Frege's Begriffsschrift invents modern formal logic, the precise notion of derivation

\vdash

.

- 1899 — Hilbert's Grundlagen der Geometrie gives a gap-free axiomatization, founding the modern axiomatic method.

- 1908 — Zermelo axiomatizes set theory; later refined to ZFC, a candidate foundation for all mathematical theories.

- 1929–1930 — Gödel proves the completeness theorem:

\vdash

and

\models

coincide for first-order logic.

- 1931 — Gödel's incompleteness theorems show sufficiently strong consistent theories cannot prove their own completeness or consistency.

- 1936 — Tarski's theory of truth and Church/Turing's undecidability results delimit which theories admit algorithmic decision.

open-problem

Gödel showed that a consistent theory strong enough to express arithmetic cannot prove its own consistency (Second Incompleteness Theorem). This leaves a permanent epistemological gap: we cannot fully certify the foundations of mathematics from within. Open and contested questions remain — for example, the status of large cardinal axioms and whether the Continuum Hypothesis (independent of ZFC, shown by Gödel 1940 and Cohen 1963) should be "settled" by adopting new axioms. Choosing which axioms make the "right" theory of sets is an unresolved philosophical and mathematical frontier.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also