Zermelo–Fraenkel set theory without the axiom of choice
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:set_theory
|
| gptkbp:abbreviation |
gptkb:ZF
|
| gptkbp:excludesAxiom |
axiom of choice
|
| gptkbp:formedBy |
early 20th century
|
| gptkbp:hasAxiom |
gptkb:axiom_schema_of_replacement
gptkb:axiom_of_extensionality gptkb:axiom_of_pairing gptkb:axiom_of_power_set gptkb:axiom_of_regularity gptkb:axiom_of_union gptkb:axiom_schema_of_separation axiom of infinity |
| gptkbp:hasModel |
cumulative hierarchy
|
| gptkbp:hasSubgroup |
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice
|
| https://www.w3.org/2000/01/rdf-schema#label |
Zermelo–Fraenkel set theory without the axiom of choice
|
| gptkbp:isConsistentWith |
gptkb:axiom_of_choice_(independent)
|
| gptkbp:language |
gptkb:first-order_logic
|
| gptkbp:namedAfter |
gptkb:Ernst_Zermelo
gptkb:Abraham_Fraenkel |
| gptkbp:partOf |
gptkb:set_theory
|
| gptkbp:usedIn |
foundations of mathematics
|
| gptkbp:bfsParent |
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_choice)
|
| gptkbp:bfsLayer |
7
|