Disambiguation evidence for von Neumann–Bernays–Gödel set theory via surface form

"von Neumann–Bernays–Gödel set theory"

Triples (9)

Triples where some other subject referred to this entity as "von Neumann–Bernays–Gödel set theory".

John von Neumann → notableConcept →
"von Neumann–Bernays–Gödel set theory"
↳ resolves to von Neumann–Bernays–Gödel set theory
ⓘ
Cantor’s paradox → avoidedIn →
"von Neumann–Bernays–Gödel set theory"
↳ resolves to von Neumann–Bernays–Gödel set theory
ⓘ
set theory → hasAxiomSystem →
"von Neumann–Bernays–Gödel set theory"
↳ resolves to von Neumann–Bernays–Gödel set theory
ⓘ
Morse–Kelley set theory by class–set distinction → isStrongerThan →
"von Neumann–Bernays–Gödel set theory"
↳ resolves to von Neumann–Bernays–Gödel set theory
ⓘ
Grothendieck universe → alternativeTo →
"von Neumann–Bernays–Gödel set theory"
↳ resolves to von Neumann–Bernays–Gödel set theory
ⓘ
Paul Bernays → developed →
"von Neumann–Bernays–Gödel set theory"
↳ resolves to von Neumann–Bernays–Gödel set theory
ⓘ
naive set theory → isContrastedWith →
"von Neumann–Bernays–Gödel set theory"
↳ resolves to von Neumann–Bernays–Gödel set theory
ⓘ
Axiom of Extensionality → usedIn →
"von Neumann–Bernays–Gödel set theory"
↳ resolves to von Neumann–Bernays–Gödel set theory
ⓘ
linked to: Axiom of Extensionality in set theory
Aleph (mathematics) → appearsIn →
"von Neumann–Bernays–Gödel set theory"
↳ resolves to von Neumann–Bernays–Gödel set theory
ⓘ