Independence of the Axiom of Choice
GPTKB entity
Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical result
|
| gptkbp:concerns |
gptkb:set_theory
axiom of choice |
| gptkbp:field |
gptkb:logic
gptkb:set_theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Independence of the Axiom of Choice
|
| gptkbp:implies |
Axiom of Choice is independent of ZF
|
| gptkbp:provenBy |
gptkb:Kurt_Gödel
gptkb:Paul_Cohen |
| gptkbp:provenUsing |
gptkb:constructible_universe
forcing |
| gptkbp:relatedTo |
gptkb:Continuum_Hypothesis
|
| gptkbp:state |
Axiom of Choice cannot be proven or disproven from Zermelo-Fraenkel set theory (ZF)
|
| gptkbp:yearProved |
1938
1963 |
| gptkbp:bfsParent |
gptkb:Set_theory
|
| gptkbp:bfsLayer |
5
|