Gödel's constructibility axiom
GPTKB entity
Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Titan
|
| gptkbp:abbreviation |
V=L
|
| gptkbp:alsoKnownAs |
gptkb:Axiom_of_Constructibility
|
| gptkbp:controversy |
independence from ZFC
|
| gptkbp:field |
gptkb:set_theory
|
| gptkbp:formedBy |
gptkb:Kurt_Gödel
1938 |
| https://www.w3.org/2000/01/rdf-schema#label |
Gödel's constructibility axiom
|
| gptkbp:implies |
gptkb:Axiom_of_Choice
gptkb:Generalized_Continuum_Hypothesis |
| gptkbp:relatedTo |
gptkb:Zermelo-Fraenkel_set_theory
gptkb:constructible_universe |
| gptkbp:state |
Every set is constructible
|
| gptkbp:symbol |
V=L
|
| gptkbp:usedIn |
Gödel's proof of the relative consistency of the Axiom of Choice and the Generalized Continuum Hypothesis with ZF
|
| gptkbp:bfsParent |
gptkb:constructible_universe
|
| gptkbp:bfsLayer |
6
|