|
gptkbp:instanceOf
|
branch of mathematical logic
|
|
gptkbp:address
|
gptkb:Cantor's_paradox
gptkb:Russell's_paradox
gptkb:Burali-Forti_paradox
|
|
gptkbp:aimsTo
|
avoid paradoxes in naive set theory
|
|
gptkbp:basisFor
|
modern mathematics
|
|
gptkbp:contrastsWith
|
gptkb:naive_set_theory
|
|
gptkbp:developedBy
|
gptkb:Alfred_Tarski
gptkb:Ernst_Zermelo
gptkb:John_von_Neumann
gptkb:Kurt_Gödel
gptkb:Paul_Bernays
gptkb:Willard_Van_Orman_Quine
gptkb:Abraham_Fraenkel
gptkb:Anthony_Morse
gptkb:John_L._Kelley
|
|
gptkbp:hasApplication
|
gptkb:algebra
gptkb:logic
gptkb:set-theoretic_topology
analysis
computer science
|
|
gptkbp:hasAxiom
|
gptkb:Axiom_of_Choice
gptkb:Axiom_of_Empty_Set
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
gptkb:Axiom_Schema_of_Replacement
gptkb:Axiom_Schema_of_Specification
gptkb:Axiom_Schema_of_Separation
gptkb:Axiom_of_Foundation
Axiom of Comprehension (in some systems)
Axiom of Global Choice (in some systems)
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Axiomatic set theory
|
|
gptkbp:includes
|
gptkb:Zermelo–Fraenkel_set_theory
gptkb:Morse–Kelley_set_theory
gptkb:Tarski–Grothendieck_set_theory
gptkb:New_Foundations
gptkb:Von_Neumann–Bernays–Gödel_set_theory
|
|
gptkbp:relatedTo
|
gptkb:logic
gptkb:category_theory
model theory
|
|
gptkbp:studies
|
sets
|
|
gptkbp:usedIn
|
foundations of mathematics
|
|
gptkbp:uses
|
axioms
|
|
gptkbp:bfsParent
|
gptkb:Mengenlehre
gptkb:Cumulative_hierarchy
|
|
gptkbp:bfsLayer
|
6
|