- Etymology
- Acronym: Z (Zermelo) + F (Fraenkel) + C (Choice). Compound denoting Zermelo–Fraenkel set theory with the Axiom of Choice.
- Z
- Zermelo. Ernst Zermelo (1871–1953). Axiomatization of set theory, 1908.
- F, C
- F: Fraenkel (Abraham Fraenkel, 1922). C: Axiom of Choice (Zermelo 1904).
- Origin
- Zermelo 1908, Fraenkel 1922. Axiom of Choice: Zermelo 1904.
- Meaning
- The standard axiomatic foundation for mathematics. A first-order theory formalizing set membership and operations.
- Earliest use
- Zermelo 1908; Fraenkel 1922; AC by Zermelo 1904.
- Definition
- The standard axiomatic foundation for mathematics. A first-order theory whose axioms formalize set membership and operations. The Axiom of Choice (AC) is one of its axioms.