Statements (65)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Set Theory
|
| gptkbp:composedOf |
Axioms
|
| gptkbp:developedBy |
gptkb:Ernst_Zermelo
gptkb:Abraham_Fraenkel |
| https://www.w3.org/2000/01/rdf-schema#label |
Zermelo-Fraenkel Set Theory
|
| gptkbp:includes |
Axiom of Union
Axiom of Infinity Axiom of Power Set Axiom_of_Extensionality Axiom_of_Pairing Axiom_of_Regularity Axiom_of_Replacement |
| gptkbp:introduced |
1908
|
| gptkbp:isA |
Mathematical Concept
Mathematical Logic Mathematical Structure Abstract Algebra Formal System Mathematical Theory Theoretical Framework Formal Logic Abstract Concept Logical Frameworks Logical Framework Axiomatic Framework Logical Structure Mathematical Axioms Axiomatic Set Theory Mathematical Framework Theory of Sets Mathematical Frameworks Foundational Mathematics Foundational Theory Abstract Mathematical Theory Formal Mathematical Theory Logical Axioms Logical Concept Logical Universe Mathematical Logic Concept Mathematical Logic Framework Set Theory Axioms Set Theory Concept Set Theory Framework Set Theory Frameworks Set Theory Model Set Theory Universe Set-theoretic Axioms Set-theoretic Framework Set-theoretic Model Mathematical_Philosophy Axiomatic_System Logical_Foundations Mathematical_Foundation Mathematical_Foundations_Theory Mathematical_Structure_Theory Mathematical_Universe Philosophical_Foundation Set-theoretic_Universe ZF ZF_Set_Theory Zermelo-Fraenkel_Axioms |
| gptkbp:isRelatedTo |
Cantor's_Set_Theory
Set-theoretic_Foundations |
| gptkbp:isUsedIn |
Logic
Mathematics |