Disambiguation evidence for Zermelo–Fraenkel set theory via surface form
"Zermelo–Fraenkel set theory without the axiom of choice"
Triples (1)
Triples where some other subject referred to this entity
as "Zermelo–Fraenkel set theory without the axiom of choice".
Bernstein theorem
→
holdsIn
→
"Zermelo–Fraenkel set theory without the axiom of choice"
ⓘ
↳ resolves to Zermelo–Fraenkel set theory