Zermelo–Fraenkel set theory - Wikipedia
In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox. Today, Zermelo–Fraenkel set theory, with the historically controversial axiom of choice (AC) included, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics. Zermelo–Fraenkel set theory with the axiom of choice included is abbreviated ZFC, where C stands for "choice",[1] and ZF refers to the axioms of Zermelo–Fraenkel set theory with the axiom of choice excluded.
Ernst Zermelo (1871–1953) In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox. Today, Zermelo–Fraenkel set theory, with the historically controversial axiom of choice (AC) included, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics. Zermelo–Fraenkel set theory with the axiom of choice included is abbreviated ZFC, where C stands for…
saved by
related reading
- Zermelo–Fraenkel set theoryen.wikipedia.org
- The Axiom of Choiceplato.stanford.edu
- Why Math’s Final Axiom Proved So Controversial | Quanta Magazinequantamagazine.org
- Set Theory | Internet Encyclopedia of Philosophyiep.utm.edu
- Set theory - Wikipediaen.wikipedia.org
- Set Theory (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Axiom of choice - Wikipediaen.wikipedia.org
- Zorn's lemma - Wikipediaen.wikipedia.org
- Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
- Russell's paradox - Wikipediaen.wikipedia.org
- Schröder–Bernstein theorem - Wikipediaen.wikipedia.org