gptkbp:instanceOf
|
gptkb:set_theory
|
gptkbp:abbreviation
|
MK
|
gptkbp:allows
|
proper classes
|
gptkbp:category
|
gptkb:logic
gptkb:set_theory
foundations of mathematics
|
gptkbp:equivalentTo
|
gptkb:Morse–Kelley_class_theory
|
gptkbp:extendsTo
|
gptkb:Zermelo–Fraenkel_set_theory
|
gptkbp:firstPublished
|
1955
|
gptkbp:fullName
|
gptkb:Morse–Kelley_set_theory
|
gptkbp:hasAxiom
|
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
gptkb:Axiom_of_Class_Comprehension
|
gptkbp:hasFeature
|
distinguishes between sets and proper classes
|
gptkbp:hasModel
|
gptkb:Von_Neumann_universe
|
https://www.w3.org/2000/01/rdf-schema#label
|
MK set theory
|
gptkbp:isAxiomaticSystem
|
true
|
gptkbp:isClassTheory
|
true
|
gptkbp:isConsistentRelativeTo
|
gptkb:ZFC_set_theory
|
gptkbp:isWeakerThan
|
gptkb:Zermelo–Fraenkel_set_theory
NBG set theory (in some formulations)
|
gptkbp:namedAfter
|
gptkb:Anthony_Morse
gptkb:John_L._Kelley
|
gptkbp:publishedIn
|
gptkb:A_Theory_of_Sets_(Morse,_1965)
gptkb:Foundations_of_Mathematics_(Kelley,_1955)
|
gptkbp:relatedTo
|
gptkb:Von_Neumann–Bernays–Gödel_set_theory
gptkb:NBG_set_theory
gptkb:ZFC_set_theory
class comprehension schema
|
gptkbp:usedBy
|
set theorists
philosophers of mathematics
mathematical logicians
|
gptkbp:usedFor
|
formalizing mathematics involving large collections
|
gptkbp:usedIn
|
foundations of mathematics
|
gptkbp:bfsParent
|
gptkb:Morse–Kelley_set_theory
|
gptkbp:bfsLayer
|
5
|