Axiomatic Set Theory

GPTKB entity

Statements (56)
Predicate Object
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