Axiom of Constructibility

URI: https://gptkb.org/entity/Axiom_of_Constructibility

GPTKB entity

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
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
https://www.w3.org/2000/01/rdf-schema#label	Axiom of Constructibility