Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC)
GPTKB entity
Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
set theory
|
| gptkbp:composedOf |
Zermelo-Fraenkel_axioms
|
| gptkbp:developedBy |
gptkb:Ernst_Zermelo
gptkb:Abraham_Fraenkel |
| https://www.w3.org/2000/01/rdf-schema#label |
Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC)
|
| gptkbp:includes |
Axiom of Choice
|
| gptkbp:isA |
mathematical framework
axiomatic system formal system theory of sets foundation of mathematics foundational system |
| gptkbp:isAvenueFor |
analysis
algebra topology |
| gptkbp:isBasedOn |
axiomatic set theory
|
| gptkbp:isCriticizedFor |
Axiom of Choice
non-constructive proofs paradoxes in set theory |
| gptkbp:isEquippedWith |
Von_Neumann-Bernays-Gödel_set_theory_(NBG)
|
| gptkbp:isRelatedTo |
gptkb:Cantor's_set_theory
infinity cardinal numbers large cardinals mathematical logic ordinal numbers Zorn's lemma well-ordering theorem set-theoretic topology set-theoretic paradoxes axioms of extensionality forcing set-theoretic hierarchy constructible universe Ultrafilter lemma axioms of choice axioms of comprehension axioms of foundation axioms of infinity axioms of power set axioms of regularity axioms of replacement axioms of separation axioms of union |
| gptkbp:isUsedIn |
computer science
logic mathematics category theory model theory proof theory |