Disambiguation evidence for von Neumann universe via surface form
"von Neumann universe"
Triples (13)
Triples where some other subject referred to this entity
as "von Neumann universe".
von Neumann universe
→
foundationAxiomHoldsIn
→
"von Neumann universe"
ⓘ
↳ resolves to von Neumann universe
von Neumann universe
→
extensionalityAxiomHoldsIn
→
"von Neumann universe"
ⓘ
↳ resolves to von Neumann universe
von Neumann universe
→
pairingAxiomHoldsIn
→
"von Neumann universe"
ⓘ
↳ resolves to von Neumann universe
von Neumann universe
→
unionAxiomHoldsIn
→
"von Neumann universe"
ⓘ
↳ resolves to von Neumann universe
von Neumann universe
→
powerSetAxiomHoldsIn
→
"von Neumann universe"
ⓘ
↳ resolves to von Neumann universe
von Neumann universe
→
infinityAxiomHoldsIn
→
"von Neumann universe"
ⓘ
↳ resolves to von Neumann universe
von Neumann universe
→
replacementAxiomHoldsIn
→
"von Neumann universe"
ⓘ
↳ resolves to von Neumann universe
von Neumann universe
→
separationSchemaHoldsIn
→
"von Neumann universe"
ⓘ
↳ resolves to von Neumann universe
von Neumann universe
→
choiceAxiomMayHoldIn
→
"von Neumann universe"
ⓘ
↳ resolves to von Neumann universe
von Neumann universe
→
isTransitiveClass
→
"von Neumann universe"
ⓘ
↳ resolves to von Neumann universe