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
via Wikidata · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).