Morse–Kelley set theory (Q3490369)
Jump to navigation
Jump to search
first‐order axiomatic set theory permitting proper classes and class comprehension with bound (possibly proper) classes
- MK
- Kelley–Morse set theory
- KM
- Morse–Tarski set theory
- MT
- Quine–Morse set theory
- QM
- system of Quine and Morse
- Morse-Kelley set theory
Language | Label | Description | Also known as |
---|---|---|---|
English | Morse–Kelley set theory |
first‐order axiomatic set theory permitting proper classes and class comprehension with bound (possibly proper) classes |
|
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- arwiki نظرية المجموعات حسب مورس-كيلي
- cswiki Kelleyova–Morseova teorie množin
- enwiki Morse–Kelley set theory
- eswiki Teoría de conjuntos de Morse-Kelley
- frwiki Théorie des ensembles de Morse-Kelley
- jawiki モース-ケリー集合論