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 3Borel 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.