Disambiguation evidence for Morse–Kelley set theory by class–set distinction via surface form
"Morse–Kelley set theory (in proof-theoretic strength)"
As object (1)
Triples where some other subject referred to this entity
as "Morse–Kelley set theory (in proof-theoretic strength)".
von Neumann–Bernays–Gödel set theory
→
isWeakerThan
→
"Morse–Kelley set theory (in proof-theoretic strength)"
ⓘ
↳ resolves to Morse–Kelley set theory by class–set distinction