Gödel's constructibility theorem

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alternativeName relative consistency theorem
gptkbp:field gptkb:set_theory
gptkbp:formedBy gptkb:Kurt_Gödel
gptkbp:hasConcept gptkb:constructible_universe
https://www.w3.org/2000/01/rdf-schema#label Gödel's constructibility theorem
gptkbp:provenBy relative consistency of the generalized continuum hypothesis
relative consistency of the axiom of choice
gptkbp:publishedIn gptkb:Annals_of_Mathematics
gptkbp:relatedTo gptkb:generalized_continuum_hypothesis
gptkb:Zermelo-Fraenkel_set_theory
axiom of choice
axiom of constructibility
gptkbp:state If ZF is consistent, then ZF + GCH + AC is consistent
gptkbp:yearProposed 1938
gptkbp:bfsParent gptkb:constructible_universe_(L)
gptkbp:bfsLayer 7