Axiom of Constructibility

URI: https://gptkb.org/entity/Axiom_of_Constructibility
GPTKB entity
Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:Titan
gptkb:set_theory
gptkbp:abbreviation V=L
gptkbp:alsoKnownAs V=L
gptkbp:category gptkb:logic
gptkb:Set_theory
gptkbp:consistentWith gptkb:Zermelo-Fraenkel_set_theory
gptkbp:formedBy gptkb:Kurt_Gödel
https://www.w3.org/2000/01/rdf-schema#label Axiom of Constructibility
gptkbp:implies gptkb:Axiom_of_Choice
gptkb:Generalized_Continuum_Hypothesis
gptkbp:introducedIn 1938
gptkbp:notConsistentWith gptkb:Large_cardinal_axioms
gptkbp:relatedTo Constructible universe
gptkbp:state Every set is constructible
gptkbp:symbol V=L
gptkbp:usedIn gptkb:Set_theory
gptkbp:bfsParent gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)
gptkbp:bfsLayer 6