Disambiguation evidence for Morse–Kelley set theory by class–set distinction via surface form

"Morse–Kelley set theory"

As object (3)

Triples where some other subject referred to this entity as "Morse–Kelley set theory".

Grothendieck universe → alternativeTo →
"Morse–Kelley set theory"
↳ resolves to Morse–Kelley set theory by class–set distinction
ⓘ
Morse–Kelley set theory by class–set distinction → hasAlternativeName →
"Morse–Kelley set theory"
↳ resolves to Morse–Kelley set theory by class–set distinction
ⓘ
von Neumann–Bernays–Gödel set theory → isRelatedTo →
"Morse–Kelley set theory"
↳ resolves to Morse–Kelley set theory by class–set distinction
ⓘ