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

"Morse–Kelley set theory"

Triples (4)

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

von Neumann–Bernays–Gödel set theory → isRelatedTo →
"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
ⓘ
Grothendieck universe → alternativeTo →
"Morse–Kelley set theory"
↳ resolves to Morse–Kelley set theory by class–set distinction
ⓘ
Axiom of Extensionality → usedIn →
"Morse–Kelley set theory"
↳ resolves to Morse–Kelley set theory by class–set distinction
ⓘ
linked to: Axiom of Extensionality in set theory