Disambiguation evidence for Zermelo–Fraenkel set theory via surface form
"Zermelo–Fraenkel set theory with choice"
As object (2)
Triples where some other subject referred to this entity
as "Zermelo–Fraenkel set theory with choice".
Zermelo–Fraenkel set theory
→
extension
→
"Zermelo–Fraenkel set theory with choice"
self-linksurface differs
ⓘ
↳ resolves to Zermelo–Fraenkel set theory
von Neumann–Bernays–Gödel set theory
→
isEquiconsistentWith
→
"Zermelo–Fraenkel set theory with choice"
ⓘ
↳ resolves to Zermelo–Fraenkel set theory