gptkbp:instanceOf
|
gptkb:set_theory
|
gptkbp:abbreviation
|
MK
|
gptkbp:allows
|
proper classes
|
gptkbp:alsoKnownAs
|
gptkb:Morse–Kelley_class_theory
gptkb:MK_class_theory
|
gptkbp:basisFor
|
gptkb:mathematics
|
gptkbp:citation
|
Foundations of Mathematics (book by John L. Kelley)
|
gptkbp:describes
|
gptkb:set_theory
|
gptkbp:developedBy
|
gptkb:Anthony_Morse
gptkb:John_L._Kelley
|
gptkbp:extendsTo
|
gptkb:von_Neumann–Bernays–Gödel_set_theory
|
gptkbp:firstPublished
|
1955
|
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_of_Class_Comprehension
gptkb:Axiom_of_Foundation
gptkb:Axiom_of_Substitution
|
https://www.w3.org/2000/01/rdf-schema#label
|
Morse–Kelley Set Theory
|
gptkbp:isConsistentRelativeTo
|
Zermelo–Fraenkel set theory with Choice
|
gptkbp:isWeakerThan
|
gptkb:Zermelo–Fraenkel_set_theory
gptkb:von_Neumann–Bernays–Gödel_set_theory
|
gptkbp:usedIn
|
gptkb:logic
gptkb:category_theory
gptkb:set-theoretic_topology
foundations of mathematics
model theory
theoretical computer science
|
gptkbp:bfsParent
|
gptkb:Axiomatic_Set_Theory
|
gptkbp:bfsLayer
|
7
|