Constructible Universe

Gödel’s inner model L, built like the Cumulative Hierarchy but admitting at each stage only the sets definable from earlier ones. L is a model of ZFC in which both the Axiom of Choice and the Continuum Hypothesis hold, which is how Gödel (1938–40) proved AC and CH consistent with ZF. It is the complement to Cohen’s construction of models where they fail — together establishing independence.

In this vault

Backlinks

Linked Pages

Set Theory

The branch of mathematical logic that treats sets — arbitrary collections — as the basic objects from which all other mathematical structures can be built, and the de facto foundation of mathematics. Founded by Cantor, who showed (via Diagonalization) that infinite sets come in distinct, unboundedly increasing sizes (Cardinality, Cantor’s Theorem). Cantor’s “naive” theory permitted unrestricted comprehension and so fell to Russell’s Paradox; Zermelo’s axiomatization replaced comprehension with Separation, yielding the system that — strengthened with Replacement, Foundation, and Choice — became ZFC, the standard foundation. Ordinals and cardinals are realised concretely as sets (the von Neumann ordinals), indexing the Cumulative Hierarchy. The discipline’s deepest results are limitative: the Continuum Hypothesis and the Axiom of Choice are independent of ZFC (Gödel’s constructible universe + Cohen’s Forcing), the set-theoretic counterpart to Gödel incompleteness.

In this vault

Über eine elementare Frage der Mannigfaltigkeitslehre — Cantor 1891 (diagonal argument, Cantor’s theorem)
Untersuchungen über die Grundlagen der Mengenlehre I — Zermelo 1908 (axiomatization)
Zur Einführung der transfiniten Zahlen — von Neumann 1923 (ordinals as sets)
The Independence of the Continuum Hypothesis — Cohen 1963/64 (forcing, independence)
On Notation for Ordinal Numbers — Church & Kleene (constructive ordinals)
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I — Gödel 1931 (the limitative sibling)

ZFC

Zermelo–Fraenkel set theory with the Axiom of Choice — the de facto standard axiomatic foundation of mathematics. Begins with Zermelo’s 1908 axioms (Extensionality, Separation, Power set, Union, Choice, Infinity, Elementary sets), strengthened by Fraenkel and Skolem with the Axiom of Replacement (and Foundation). Russell’s Paradox is blocked by Separation. Famously incomplete in a strong sense: the Continuum Hypothesis and the Axiom of Choice are independent of it (Gödel + Cohen).

In this vault

The Independence of the Continuum Hypothesis

Reference: Cohen, Paul J. (1963, 1964). “The Independence of the Continuum Hypothesis” (I & II). Proceedings of the National Academy of Sciences 50(6), 1143–1148 and 51(1), 105–110. DOI 10.1073/pnas.50.6.1143.

Summary

The papers that resolve Hilbert’s first problem and introduce forcing, the most powerful technique in modern set theory. Cantor’s continuum hypothesis (CH) asserts that there is no cardinality strictly between that of the integers and that of the reals — that |𝒫(ℕ)| is the least uncountable cardinal ℵ₁. Gödel had shown in 1938–40, via the constructible universe L, that CH and the axiom of choice cannot be disproved from the ZF axioms (they hold in L, an inner model of any model of ZF). Cohen supplies the other half: he constructs models of ZFC in which CH fails, and models in which the axiom of choice fails. Together these establish that CH is independent of ZFC — neither provable nor refutable — and likewise that AC is independent of ZF.

The method is forcing. Starting from a countable transitive model M of ZFC, Cohen adjoins a new “generic” object G (for ¬CH, enough generic subsets of ℕ to make the continuum larger than ℵ₁) to form an extension M[G]. The delicate point is that M cannot “see” G, yet one must guarantee M[G] still satisfies all the ZFC axioms and controls exactly which new statements become true. Cohen manages this with the forcing relation p ⊩ φ — a condition p (a finite fragment of the generic object) “forces” a sentence φ — defined entirely inside M, so that truth in the extension is decided by the ground model even though the generic object lies outside it. Genericity (the filter G meets every dense set of M) ensures the construction is consistent and that the intended statement holds.

Forcing turned independence from an exotic curiosity into a routine instrument: it is now the standard way to show a statement undecidable in ZFC, and it reframes the foundational picture. Where Gödel’s incompleteness theorems show that any sufficiently strong consistent theory leaves arithmetic sentences undecided, Cohen shows that one of the most basic questions about the size of the continuum is itself undecided by our standard foundation — not for want of cleverness but in principle. The combined Gödel–Cohen result is the canonical example of a natural mathematical statement that is independent of its axioms. Cohen received the Fields Medal (1966) for it.

Key Ideas

Continuum Hypothesis: there is no cardinality strictly between |ℕ| and |ℝ|; equivalently |𝒫(ℕ)| = ℵ₁.
Independence of CH from ZFC: Gödel (1940, via L) shows CH is consistent; Cohen shows ¬CH is consistent — so CH is undecidable in ZFC.
Independence of AC from ZF, by the same model-building technique.
Forcing: extend a countable transitive model M by a generic object G to get M[G] satisfying ZFC plus the desired (in)dependence.
The forcing relation p ⊩ φ: definable inside the ground model, lets M control truth in M[G] without seeing G.
Genericity: G meets every dense subset of the forcing poset that lies in M, guaranteeing consistency.
Meta-mathematical limit: a basic question of set size is in-principle undecidable from the standard axioms.

Connections

Conceptual Contribution

Claim: The continuum hypothesis (and the axiom of choice) is independent of the standard axioms of set theory — neither ZFC ⊢ CH nor ZFC ⊢ ¬CH.
Mechanism: Forcing — adjoin a generic filter G to a countable transitive model M of ZFC, with a forcing relation defined inside M that fixes truth in M[G]; choose the forcing poset so the extension satisfies ¬CH (or ¬AC), complementing Gödel’s L model where CH holds.
Concepts introduced/used: Forcing, Continuum Hypothesis, Constructible Universe, ZFC, Cardinality
Stance: foundational independence-result paper (set theory / model theory)
Relates to: Settles the cardinality question opened by Cantor 1891 as undecidable in Zermelo’s ZFC; the set-theoretic counterpart of the syntactic undecidability in Gödel 1931.

Forcing

Cohen’s (1963) technique for building models of set theory to prove independence results. Starting from a countable transitive model M of ZFC, one adjoins a “generic” object G to form an extension M[G], with a forcing relation (p ⊩ φ) defined inside M that controls which sentences hold in M[G] without M being able to see G. By choosing the forcing poset appropriately one makes the extension satisfy, e.g., ¬Continuum Hypothesis or ¬Axiom of Choice. Forcing is now the standard instrument for showing a statement undecidable in ZFC; it earned Cohen the Fields Medal.

In this vault

Continuum Hypothesis

Cantor’s conjecture (CH) that there is no Cardinality strictly between that of the integers and that of the reals — equivalently |𝒫(ℕ)| = ℵ₁. The first of Hilbert’s 1900 problems. Shown to be independent of ZFC: Gödel (1938–40) proved it consistent via the Constructible Universe, and Cohen (1963) proved its negation consistent via Forcing. It is therefore neither provable nor refutable from the standard axioms.

In this vault

Axiom of Choice

The axiom (AC) that for any collection of non-empty sets there exists a choice function selecting one element from each. Equivalent to the Well-Ordering Theorem and to Zorn’s lemma. Made an explicit postulate by Zermelo, partly to ground his 1904 well-ordering proof against critics who objected to non-constructive choice. Independent of the other ZF axioms: consistent (Gödel, via the Constructible Universe) and unprovable (Cohen, via Forcing).

In this vault

Cumulative Hierarchy

The picture of the set-theoretic universe V as built up in stages indexed by the Ordinals: V₀ = ∅, V_{α+1} = 𝒫(V_α), and unions at limit stages, with V = ⋃_α V_α. Under the axiom of foundation every set appears at some stage, giving a well-founded, layered universe. The hierarchy is the standard model-theoretic backdrop for ZFC and for inner models like the Constructible Universe.