Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Titan
|
| gptkbp:alternativeName |
Axiom_of_Set_Theory
Set_theory_axiom axiomatic_set_theory set_theory_axiom |
| gptkbp:appliesTo |
gptkb:Set_Theory
|
| gptkbp:dateOfFirstFormulation |
1908
|
| gptkbp:example |
gptkb:Axiom_of_Choice
gptkb:Axiom_of_Extensionality gptkb:Axiom_of_Infinity gptkb:Axiom_of_Pairing gptkb:Axiom_of_Power_Set gptkb:Axiom_of_Regularity gptkb:Axiom_of_Replacement gptkb:Axiom_of_Union |
| gptkbp:field |
gptkb:Mathematics
|
| gptkbp:formedBy |
gptkb:Ernst_Zermelo
|
| gptkbp:guarantees |
Consistency of set operations
|
| https://www.w3.org/2000/01/rdf-schema#label |
set theory
|
| gptkbp:prevention |
Set-theoretic paradoxes
|
| gptkbp:purpose |
Foundation of set theory
|
| gptkbp:relatedTo |
gptkb:logic
gptkb:Foundations_of_mathematics |
| gptkbp:usedIn |
gptkb:Morse–Kelley_set_theory
gptkb:Zermelo-Fraenkel_set_theory gptkb:Von_Neumann–Bernays–Gödel_set_theory |
| gptkbp:bfsParent |
gptkb:John_Myhill
gptkb:John_von_Neumann |
| gptkbp:bfsLayer |
3
|