Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:set_theory
|
| gptkbp:allows |
quantification over classes
|
| gptkbp:alsoKnownAs |
gptkb:Morse–Kelley_set_theory
|
| gptkbp:distinctiveFeature |
proper classes
sets |
| gptkbp:extendsTo |
gptkb:Zermelo–Fraenkel_set_theory
|
| gptkbp:firstPublished |
1955
|
| 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_Replacement gptkb:Axiom_of_Union gptkb:first-order_logic gptkb:Axiom_of_Class_Comprehension gptkb:Axiom_of_Foundation |
| gptkbp:heldBy |
a conservative extension of ZFC for set statements
a two-sorted theory |
| https://www.w3.org/2000/01/rdf-schema#label |
MK class theory
|
| gptkbp:isWeakerThan |
gptkb:von_Neumann–Bernays–Gödel_set_theory
|
| gptkbp:namedAfter |
gptkb:Anthony_Morse
gptkb:John_L._Kelley |
| gptkbp:usedIn |
gptkb:logic
gptkb:category_theory foundations of mathematics |
| gptkbp:uses |
classes
sets |
| gptkbp:bfsParent |
gptkb:Morse–Kelley_class_theory
|
| gptkbp:bfsLayer |
7
|