gptkbp:instanceOf
|
Mathematical Theory
|
gptkbp:developedToAddress
|
gptkb:Russell's_Paradox
|
gptkbp:field
|
gptkb:logic
gptkb:Set_Theory
|
gptkbp:goal
|
Avoid Paradoxes
|
gptkbp:hasApplication
|
gptkb:logic
gptkb:Philosophy_of_Mathematics
gptkb:Model_Theory
gptkb:Category_Theory
Computer Science
Foundations of Mathematics
|
gptkbp:hasConcept
|
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_Separation
gptkb:Axiom_of_Union
gptkb:Axiom_of_Foundation
|
https://www.w3.org/2000/01/rdf-schema#label
|
Axiomatic Set Theory
|
gptkbp:notableAxiomSystem
|
gptkb:New_Foundations
gptkb:Morse–Kelley_Set_Theory
gptkb:Tarski–Grothendieck_Set_Theory
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory
gptkb:Zermelo-Fraenkel_Set_Theory
|
gptkbp:notablePerson
|
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:Richard_Montague
gptkb:John_L._Kelley
gptkb:John_W._Addison
|
gptkbp:notablePublication
|
gptkb:Naive_Set_Theory
gptkb:Principia_Mathematica
gptkb:Set_Theory_and_Its_Logic
gptkb:Foundations_of_Set_Theory
gptkb:Set_Theory_(Kunen)
|
gptkbp:relatedConcept
|
gptkb:Continuum_Hypothesis
gptkb:Constructible_Universe
gptkb:Well-Ordering_Theorem
Forcing
Cardinal Numbers
Independence Proofs
Large Cardinals
Ordinal Numbers
|
gptkbp:relatedTo
|
gptkb:Naive_Set_Theory
|
gptkbp:studies
|
Sets
|
gptkbp:uses
|
Axioms
|
gptkbp:bfsParent
|
gptkb:Patrick_Suppes
|
gptkbp:bfsLayer
|
6
|