Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Set
|
| gptkbp:consists_of |
Axioms
|
| gptkbp:developed_by |
gptkb:Ernst_Zermelo
gptkb:Abraham_Fraenkel |
| gptkbp:has_applications_in |
gptkb:Mathematics
Mathematical Logic Theoretical Computer Science Set Theory Foundations |
| https://www.w3.org/2000/01/rdf-schema#label |
Zermelo-Fraenkel Set Theory
|
| gptkbp:includes |
Axiom of Extensionality
Axiom of Pairing Axiom of Union Axiom of Regularity Axiom of Infinity Axiom of Power Set Axiom of Replacement |
| gptkbp:is_a |
gptkb:Axiomatic_Set_Theory
Formal System Mathematical Framework Foundational Theory |
| gptkbp:is_based_on |
Axiomatic Method
Set Operations Set Membership Logical Foundations |
| gptkbp:is_criticized_for |
Constructivism
Intuitionism Non-standard analysis Finitism |
| gptkbp:is_examined_in |
Mathematical Philosophy
Set Theory Research Philosophy of Set Theory Foundational Studies |
| gptkbp:is_influenced_by |
gptkb:Paul_Cohen
gptkb:David_Hilbert gptkb:Georg_Cantor gptkb:Kurt_Gödel |
| gptkbp:is_part_of |
Mathematical Logic
Formal Logic Mathematical Foundations Foundational Mathematics |
| gptkbp:is_related_to |
gptkb:political_theory
Model Theory Cantor's Set Theory Set-theoretic topology |
| gptkbp:is_used_in |
gptkb:Mathematics
gptkb:Logic Computer Science |
| gptkbp:bfsParent |
gptkb:The_Axiom_of_Choice
gptkb:The_Axiom_of_Determinacy |
| gptkbp:bfsLayer |
7
|