axiom of choice (independent)
GPTKB entity
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:field |
gptkb:set_theory
|
| gptkbp:hasProperty |
axiom of choice
|
| https://www.w3.org/2000/01/rdf-schema#label |
axiom of choice (independent)
|
| gptkbp:meaning |
axiom of choice is independent of Zermelo-Fraenkel set theory (ZF)
axiom of choice cannot be proved or disproved from ZF axioms |
| gptkbp:provenBy |
gptkb:Kurt_Gödel
gptkb:Paul_Cohen 1938 1963 |
| gptkbp:refersTo |
axiom of choice
|
| gptkbp:relatedTo |
gptkb:Zermelo-Fraenkel_set_theory
continuum hypothesis (independent) |
| gptkbp:bfsParent |
gptkb:Zermelo–Fraenkel_set_theory_without_the_axiom_of_choice
|
| gptkbp:bfsLayer |
8
|