MK set theory

GPTKB entity

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