Disambiguation evidence for Zermelo–Fraenkel set theory via surface form

"Zermelo–Fraenkel set theory"

Triples (35)

Triples where some other subject referred to this entity as "Zermelo–Fraenkel set theory".

Russell’s paradox → influenced →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Cantor’s paradox → influenced →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Cantor’s paradox → avoidedIn →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Burali-Forti paradox → motivatedDevelopmentOf →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
von Neumann–Bernays–Gödel set theory → extends →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
von Neumann–Bernays–Gödel set theory → isConservativeOver →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Ernst Zermelo → knownFor →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Cantor’s theorem → holdsIn →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
set theory → hasAxiomSystem →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Morse–Kelley set theory by class–set distinction → isRelatedTo →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Abraham Fraenkel → knownFor →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Abraham Fraenkel → coDeveloperOf →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Zermelo set theory → weakerThan →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Zermelo set theory → influenced →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
ZF → fullName →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
axiom schema of separation → usedIn →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
continuum hypothesis → relatedTo →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Untersuchungen über die Grundlagen der Mengenlehre → influenced →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Peano arithmetic → isWeakerThan →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
naive set theory → influenced →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
naive set theory → isContrastedWith →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
New Foundations for Mathematical Logic → proposesAlternativeTo →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Kripke–Platek set theory → weakerThan →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Kripke–Platek set theory → isInterpretableIn →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Abraham Fraenkel → knownFor →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
linked to: Fraenkel
Fraenkel–Mostowski permutation models → relatedToTheory →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Einleitung in die Mengenlehre → hasSubject →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Tychonoff theorem for products of compact spaces → context →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Hilbert-style deductive systems → appliesTo →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Axiom of Extensionality → usedIn →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
linked to: Axiom of Extensionality in set theory
Aleph (mathematics) → appearsIn →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Bernstein theorem → relatedTo →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Hilbert's first problem → formalContext →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
Isabelle/ZF → basedOn →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ
univalent foundations program → contrastsWith →
"Zermelo–Fraenkel set theory"
↳ resolves to Zermelo–Fraenkel set theory
ⓘ