Disambiguation evidence for Zermelo–Fraenkel set theory via surface form
"Zermelo–Fraenkel set theory with Choice"
Triples (4)
Triples where some other subject referred to this entity
as "Zermelo–Fraenkel set theory with Choice".
Gödel's incompleteness theorems
→
appliesTo
→
"Zermelo–Fraenkel set theory with Choice"
ⓘ
↳ resolves to Zermelo–Fraenkel set theory
set theory
→
hasAxiomSystem
→
"Zermelo–Fraenkel set theory with Choice"
ⓘ
↳ resolves to Zermelo–Fraenkel set theory
Morse–Kelley set theory by class–set distinction
→
isStrongerThan
→
"Zermelo–Fraenkel set theory with Choice"
ⓘ
↳ resolves to Zermelo–Fraenkel set theory
Hilbert's first problem
→
formalContext
→
"Zermelo–Fraenkel set theory with Choice"
ⓘ
↳ resolves to Zermelo–Fraenkel set theory