KnowraAxiom of constructibilityLinked fromLinked fromThe 7 pages that link to Axiom of constructibility, each with the reason it gives.All 7Broader topic 1Related 3Compared with 3Continuum hypothesisCompared with: This additional axiom implies CH, while ZFC alone decides neither CH nor its negation.Gödel's constructible universeBroader topic: It identifies the ambient universe with L, rather than merely treating L as an inner model.Solovay modelCompared with: Solovay’s result contrasts with the constructible universe, where choice yields nonmeasurable sets.Axiom of global choiceCompared with: Constructibility supplies a canonical definable well-order, unlike an unrestricted global choice postulate.Borel conjectureRelated: In constructible-universe settings, uncountable strong measure zero sets can exist, giving a counterexample to the conjecture.Diamond principleRelated: V=L implies diamond, so the principle follows from a strong structural assumption.Mostowski collapse lemmaRelated: Collapsing well-founded structures helps represent levels and models built inside constructible set theory.