In the foundation of mathematics, Kelley–Morse (KM) or Morse–Kelley (MK) set theory is a first order axiomatic set theory that is closely related to Von Neumann–Bernays–Gödel set theory (NBG). MK allows the bound variables in the schematic formula appearing in the axiom schema of Class Comprehension to range over proper classes as well as sets. NBG restricts these bound variables to sets alone. MK is a proper extension of the canonical set theory ZFC and cannot be finitely axiomatized.

PropertyValue
dbpprop:abstract
  • In the foundation of mathematics, Kelley–Morse (KM) or Morse–Kelley (MK) set theory is a first order axiomatic set theory that is closely related to Von Neumann–Bernays–Gödel set theory (NBG). MK allows the bound variables in the schematic formula appearing in the axiom schema of Class Comprehension to range over proper classes as well as sets. NBG restricts these bound variables to sets alone. MK is a proper extension of the canonical set theory ZFC and cannot be finitely axiomatized. NBG is a conservative extension of ZFC, and can be finitely axiomatized.
  • Kelley-Morseova teorie množin (označovaná též KM) je pokusem o teorii množin silnějších vlastností než jsou klasické axiomatizace Zermelo-Fraenkelova (ZF) a Von Neumann-Gödel-Bernaysova (NGB). V KM je dokazatelná (formální) konzistence ZF.
  • En mathématiques, la théorie des ensembles de Morse–Kelley est une théorie axiomatique du premier ordre dont les objets sont des classes; contrairement à celle de Von Neumann-Bernays-Gödel, c'est une extension propre de la théorie classique.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • In the foundation of mathematics, Kelley–Morse (KM) or Morse–Kelley (MK) set theory is a first order axiomatic set theory that is closely related to Von Neumann–Bernays–Gödel set theory (NBG). MK allows the bound variables in the schematic formula appearing in the axiom schema of Class Comprehension to range over proper classes as well as sets. NBG restricts these bound variables to sets alone. MK is a proper extension of the canonical set theory ZFC and cannot be finitely axiomatized.
  • Kelley-Morseova teorie množin (označovaná též KM) je pokusem o teorii množin silnějších vlastností než jsou klasické axiomatizace Zermelo-Fraenkelova (ZF) a Von Neumann-Gödel-Bernaysova (NGB). V KM je dokazatelná (formální) konzistence ZF.
  • En mathématiques, la théorie des ensembles de Morse–Kelley est une théorie axiomatique du premier ordre dont les objets sont des classes; contrairement à celle de Von Neumann-Bernays-Gödel, c'est une extension propre de la théorie classique.
rdfs:label
  • Morse–Kelley set theory
  • Kelley-Morseova teorie množin
  • Théorie des ensembles de Morse-Kelley
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of