Morse–Kelley set theory

Also known as MK, Kelley–Morse set theory, KM, Morse–Tarski set theory, MT, Quine–Morse set theory, QM, system of Quine and Morse

first‐order axiomatic set theory permitting proper classes and class comprehension with bound (possibly proper) classes