Properties (62)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
set theory
|
| gptkbp:developedBy |
gptkb:Ernst_Zermelo
|
| https://www.w3.org/2000/01/rdf-schema#label |
Zermelo's hierarchy
|
| gptkbp:includes |
sets
|
| gptkbp:isAssociatedWith |
gptkb:Zermelo-Fraenkel_set_theory
infinity mathematical rigor |
| gptkbp:isAvenueFor |
theoretical computer science
quantum_set_theory |
| gptkbp:isBasedOn |
axioms of set theory
|
| gptkbp:isCharacterizedBy |
hierarchical structure
levels of infinity levels of sets set containment relations well-ordered sets |
| gptkbp:isCitedBy |
axiomatic systems
transfinite induction |
| gptkbp:isConnectedTo |
category theory
mathematical structures |
| gptkbp:isCriticizedFor |
non-standard set theories
|
| gptkbp:isDiscussedIn |
mathematical journals
textbooks on set theory set-theoretic topology academic papers on set theory |
| gptkbp:isExaminedBy |
mathematical logic
mathematical discourse set-theoretic foundations |
| gptkbp:isExploredIn |
philosophy of mathematics
mathematical philosophy set-theoretic analysis philosophical discussions on mathematics computational set theory set-theoretic frameworks |
| gptkbp:isInfluencedBy |
gptkb:Cantor's_set_theory
mathematical logic theoretical mathematics logic and mathematics |
| gptkbp:isInformedBy |
formal languages
|
| gptkbp:isPartOf |
foundations of mathematics
|
| gptkbp:isRelatedTo |
gptkb:Russell's_paradox
set operations axiomatic set theory modern set theory mathematical consistency set-theoretic paradoxes set-theoretic functions axioms of choice |
| gptkbp:isStudiedIn |
advanced mathematics courses
foundational mathematics |
| gptkbp:isUsedBy |
analyze mathematical structures
analyze set membership construct models of set theory define cardinal numbers define functions on sets define ordinal numbers formalize mathematical arguments |
| gptkbp:isUsedIn |
mathematics
model theory |
| gptkbp:isUtilizedIn |
abstract algebra
mathematical proofs proof theory |
| gptkbp:provides |
a framework for set construction
|