Axiom of Constructibility (V=L)
GPTKB entity
Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Titan
|
| gptkbp:alsoKnownAs |
V=L
|
| gptkbp:category |
gptkb:logic
gptkb:set_theory |
| gptkbp:consistentWith |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:controversy |
foundations of mathematics
|
| gptkbp:defines |
gptkb:constructible_universe
|
| gptkbp:formedBy |
gptkb:Kurt_Gödel
|
| https://www.w3.org/2000/01/rdf-schema#label |
Axiom of Constructibility (V=L)
|
| gptkbp:implies |
gptkb:Axiom_of_Choice
gptkb:Generalized_Continuum_Hypothesis |
| gptkbp:introducedIn |
1938
|
| gptkbp:opposedBy |
many set theorists
|
| gptkbp:state |
every set is constructible
|
| gptkbp:symbol |
V=L
|
| gptkbp:usedIn |
gptkb:set_theory
|
| gptkbp:uses |
relative consistency of the Generalized Continuum Hypothesis
relative consistency of the Axiom of Choice |
| gptkbp:bfsParent |
gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC)
|
| gptkbp:bfsLayer |
6
|