Morse–Kelley set theory
In the foundations of mathematics, Morse–Kelley set theory (MK), Kelley–Morse set theory (KM), Morse–Tarski set theory (MT), Quine–Morse set theory (QM) or the system of Quine and Morse is a first-order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG). While von Neumann–Bernays–Gödel set theory restricts the bound variables in the schematic formula appearing in the axiom schema of Class Comprehension to range over sets alone, Morse–Kelley set theory allows these bound variables to range over proper classes as well as sets, as first suggested by Quine in 1940 for his system ML.
notableIdea
Alternative set theoryAnthony MorseAxiomAxiom of choiceAxiom of global choiceAxiom of limitation of sizeBinary relationClass (set theory)Conglomerate (mathematics)EquinumerosityGlossary of set theoryInaccessible cardinalJohn L. KelleyKMKelley-Morse set theoryKelley–Morse set theoryKunen's inconsistency theoremLimitation of sizeList of Brown University peopleList of first-order theoriesList of mathematical logic topicsList of set theory topicsMK set theoryMathematical logicMkMorse--Kelley set theoryMorse-Kelley set theoryMorse-Kelly set theoryMorse Kelley set theoryMorse—Kelley set theoryNew FoundationsOrdered pairOutline of logicPocket set theoryPositive set theoryQuine-Morse set theoryQuine–Morse set theoryReflection principleReinhardt cardinalScott–Potter set theory
Link from a Wikipage to another Wikipage
primaryTopic
Morse–Kelley set theory
In the foundations of mathematics, Morse–Kelley set theory (MK), Kelley–Morse set theory (KM), Morse–Tarski set theory (MT), Quine–Morse set theory (QM) or the system of Quine and Morse is a first-order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG). While von Neumann–Bernays–Gödel set theory restricts the bound variables in the schematic formula appearing in the axiom schema of Class Comprehension to range over sets alone, Morse–Kelley set theory allows these bound variables to range over proper classes as well as sets, as first suggested by Quine in 1940 for his system ML.
has abstract
In the foundations of mathemat ...... annot be finitely axiomatized.
@en
Kelleyova-Morseova teorie množ ...... lná (formální) konzistence ZF.
@cs
La teoría de conjuntos de Mors ...... potente y no son equivalentes.
@es
La théorie des ensembles de Mo ...... aternité également à Hao Wang.
@fr
في أسس الرياضيات، نظرية مورس و ...... به "نظرية المجموعات" عام 1965.
@ar
数学基礎論において、モース-ケリー集合論（ MK ）、ケリー ...... なり、モース-ケリー集合論は有限公理化することはできません。
@ja
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,021,899,628
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
type
comment
In the foundations of mathemat ...... ine in 1940 for his system ML.
@en
Kelleyova-Morseova teorie množ ...... lná (formální) konzistence ZF.
@cs
La teoría de conjuntos de Mors ...... potente y no son equivalentes.
@es
La théorie des ensembles de Mo ...... de définir des classes dans l
@fr
في أسس الرياضيات، نظرية مورس و ...... به "نظرية المجموعات" عام 1965.
@ar
数学基礎論において、モース-ケリー集合論（ MK ）、ケリー ...... Theory of Sets （1965）に登場しました。
@ja
label
Kelleyova–Morseova teorie množin
@cs
Morse–Kelley set theory
@en
Teoría de conjuntos de Morse-Kelley
@es
Théorie des ensembles de Morse-Kelley
@fr
نظرية المجموعات حسب مورس-كيلي
@ar
モース-ケリー集合論
@ja