Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Morse-Kelley set theory
English Wikipedia - The Free Encyclopedia
Download this dictionary
Morse–Kelley set theory
In the
foundation of mathematics
,
Morse–Kelley set theory
(
MK
),
Kelley–Morse set theory
(
KM
),
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
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License