ZFC

Etymology

略語：Z (Zermelo) + F (Fraenkel) + C (Choice)。Zermelo–Fraenkel 集合論に選択公理を加えた複合語。

Z

Zermelo。Ernst Zermelo (1871–1953)。集合論の公理化、1908年。

F, C

F: Fraenkel（Abraham Fraenkel、1922年）。C: 選択公理（Zermelo 1904年）。

Origin

Zermelo 1908年、Fraenkel 1922年。選択公理：Zermelo 1904年。

Meaning

数学の標準的な公理的基盤。集合の帰属と演算を公理化した一階理論。

Earliest use

Zermelo 1908年；Fraenkel 1922年；AC は Zermelo 1904年。

Definition

数学の標準的な公理的基盤。集合の帰属と演算を公理化した一階理論。選択公理（AC）はその公理の一つ。