ZFC｜Zermelo–Fraenkel set theory with the Axiom of Choice 選択公理付きツェルメロ・フレンケル集合論
ZFCとは、Zermelo–Fraenkel set theory with the Axiom of Choice（選択公理付きツェルメロ・フレンケル集合論）の略で、現代数学のほぼすべてを支えている標準的な公理系です。
【1】ZFCの役割
ZFCは、次のような役割を持ちます：
- 数学のあらゆる対象（数、関数、空間など）を集合に還元して扱う
- その集合に関する操作・性質を明確なルール（公理）で記述
- すべての証明はこの公理系の範囲内で行う（形式的整合性の保証）
つまり、「数学的に正しいとは、ZFCで証明可能であること」が現在の数学の土台になっています。
【2】ZFCの構成
ZFCは以下の9つの主要な公理からなります
| 公理名 | 概要 |
|---|---|
| 外延性公理 | 同じ要素を持つ集合は等しい |
| 空集合の存在 | 空集合 ∅ が存在する |
| 対の公理 | 任意のa, bから {a, b} が作れる |
| 和集合の公理 | 任意の集合族の合併集合が存在する |
| べき集合の公理 | 任意の集合に対して、その部分集合全体の集合（べき集合）が存在する |
| 分出公理 | 性質P(x)を満たす要素だけからなる部分集合が作れる（限定的 comprehension） |
| 置換の公理 | 任意の明確な写像により、集合を対応させた集合が存在する |
| 無限公理 | 自然数全体のような「無限集合」が存在する |
| 選択公理（Axiom of Choice） | 任意の非空集合族から1つずつ要素を選べる選択関数が存在する |
【3】ZFCが使われる理由
- 矛盾がない（と信じられている） → 数学の基礎を支える
- 直感的だが強力 → 数、空間、関数などすべてを定義可能
- 形式的証明ができる → 機械的に証明の正当性がチェックできる
【4】ZFCの限界と哲学的含意
- ゲーデルの不完全性定理により：
ZFCでは、ZFCの無矛盾性自体は証明できない - つまり、ZFCも絶対的ではなく“仮定”された枠組みにすぎない
- それでも「形式的な整合の共通言語」として最も広く使われている
【まとめ】
ZFCとは、現代数学のあらゆる理論や証明を支える“公理的証明の基本形”である。