Disambiguation evidence for von Neumann–Bernays–Gödel set theory via surface form
"Zermelo–Fraenkel set theory by treating the collection of all ordinals as a proper class"
As object (1)
Triples where some other subject referred to this entity
as "Zermelo–Fraenkel set theory by treating the collection of all ordinals as a proper class".
Burali-Forti paradox
→
resolvedIn
→
"Zermelo–Fraenkel set theory by treating the collection of all ordinals as a proper class"
ⓘ
↳ resolves to von Neumann–Bernays–Gödel set theory