The appearance around the turn of the century of the so-called set-theoretical paradoxes, such as Russell's Paradox, prompted the formulation in 1908 by [Ernst Zermelo]? of an axiomatic theory of sets. The axioms for set theory now most often studied and used are those called the Zermelo-Fraenkel axioms, usually together with the axiom of choice. The Zermelo-Fraenkel axioms are commonly abbreviated to ZF, or ZFC if the axiom of choice is included. |
The appearance around the turn of the century of the so-called set-theoretical paradoxes, such as Russell's Paradox, prompted the formulation in 1908 by [Ernst Zermelo]? of an axiomatic theory of sets. The axioms for set theory now most often studied and used are those called the Zermelo-Fraenkel axioms, usually together with the axiom of choice. The Zermelo-Fraenkel axioms are commonly abbreviated to ZF, or ZFC if the axiom of choice is included. |