Axiom of constructibility

Property	Value
rdf:type	owl:NamedIndividual First-order theory Statement independent of ZFC Axiom Axiom of set theory
rdfs:label	Axiom of constructibility
owl:sameAs	dbr:Axiom_of_constructibility
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Axioms_of_set_theory http://en.wikipedia.org/wiki/List_of_axioms http://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory http://en.wikipedia.org/wiki/List_of_statements_independent_of_ZFC http://en.wikipedia.org/wiki/List_of_first-order_theories
skos:prefLabel	Axiom of constructibility
skos:altLabel	''V = L'' Axiom of Constructibility Axiom of Constructibility (V=L) Axiom of constructibility#Statements true in L V = L V=L axiom of constructibility every set is constructible
is clgo:knownFor of	Kurt Gödel

About: clgr:Axiom_of_constructibility