KnowraGödel's constructible universeLinked fromLinked fromThe 17 pages that link to Gödel's constructible universe, each with the reason it gives.All 17Broader topic 2Related 9Narrower topic 1Compared with 5Forcing (mathematics)Compared with: It proves relative consistency by restricting attention to an inner model rather than adding sets.Gödel sentenceCompared with: Despite sharing Gödel’s name, this is a separate construction in set theory, not an incompleteness sentence.Large cardinalCompared with: L satisfies choice and has no large cardinals, illustrating how restrictive a canonical inner model can be.Von Neumann universeCompared with: Unlike the full hierarchy, it retains only constructible sets.Solovay modelCompared with: It provides a contrasting setting in which the axiom of choice holds.