The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory¶
Gödel, K. (1940). The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory. Princeton University Press.
Cited by¶
3 citations across 3 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Cardinality
- … form an unbounded transfinite hierarchy under the axiom of choice, indexed by the ordinals); uncountable cardinalities like $\mathfrak{c} = 2^{\aleph_0}$ (cardinality of $\mathbb{R}$) dominate $\aleph_0$ strictly; the Continuum Hypothesis ($\mathfrak{c} = \aleph_1$) is undecidable in ZFC (Gödel 1940 consistency
This sourceEstablishes relative consistency Con(ZF) → Con(ZFC + GCH) by constructing the constructible universe L, an inner model in which AC and GCH (hence CH) hold.
- … form an unbounded transfinite hierarchy under the axiom of choice, indexed by the ordinals); uncountable cardinalities like $\mathfrak{c} = 2^{\aleph_0}$ (cardinality of $\mathbb{R}$) dominate $\aleph_0$ strictly; the Continuum Hypothesis ($\mathfrak{c} = \aleph_1$) is undecidable in ZFC (Gödel 1940 consistency
- Infinity
- Gödel's (1940) consistency proof for the Continuum Hypothesis
This sourceAnnals of Mathematics Studies 3. Princeton: Princeton University Press, 1940. Establishes relative consistency (Con(ZF) → Con(ZFC+GCH)) via the constructible universe L, and articulates the NBG (Neumann–Bernays–Gödel) class-theoretic foundation.
- Gödel's (1940) consistency proof for the Continuum Hypothesis
- Set and Membership
- Not a proper class — proper classes (the "class of all sets," the "class of all groups") are too large to be sets in ZFC; they are a distinct structural object handled in NBG or Morse-Kelley set theory
This sourceAnnals of Mathematics Studies 3. Princeton: Princeton University Press, 1940. Establishes relative consistency (Con(ZF) → Con(ZFC+GCH)) via the constructible universe L, and articulates the NBG (Neumann–Bernays–Gödel) class-theoretic foundation.
- Not a proper class — proper classes (the "class of all sets," the "class of all groups") are too large to be sets in ZFC; they are a distinct structural object handled in NBG or Morse-Kelley set theory
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:b1251130b9fa · see in the full table