現代数学の基底ZFC集合論 徹底解説— ツェルメロ＝フレンケル集合論と選択公理 —
目次
序文：なぜ集合論が数学の「言語」なのか 4
第1章 集合論の誕生と危機の克服 6
1.1 カントールの素朴集合論：無限の数学的解明 6
1.2 ラッセルのパラドックスという衝撃 8
1.3 公理化への道：ツェルメロの試みとフレンケルの完成 8
第2章 ZFCの言語と論理 10
2.1 一階述語論理：数学の形式的言語 10
2.2 集合という唯一の存在：ZFCの汎集合論的世界観 10
2.3 クラスと集合の峻別：大きすぎる集まりの処理 11
第3章 ZF公理系の詳解（基礎編） 13
3.1 外延性の公理（ZFC-1, Axiom of Extensionality） 13
3.2 空集合の公理（ZFC-2）と対の公理（ZFC-3） 13
3.3 和集合の公理（ZFC-4, Axiom of Union） 14
3.4 べき集合の公理（ZFC-5, Axiom of Power Set） 14
第4章 無限と構成（発展編） 15
4.1 無限公理（ZFC-6, Axiom of Infinity） 15
4.2 分離公理図式（ZFC-7, Axiom Schema of Separation） 15
4.3 置換公理図式（ZFC-8, Axiom Schema of Replacement） 16
4.4 正則性公理（ZFC-9, Axiom of Regularity） 17
第5章 選択公理（ZFC-10, Axiom of Choice, AC）の光と影 18
5.1 選択公理の定義 18
5.2 同値な命題群 18
5.3 バナッハ＝タルスキーの逆理 19
5.4 選択公理をめぐる議論 19
第6章 ZFC上での数学の構成 21
6.1 自然数：ペアノ公理の集合論的実現 21
6.2 整数・有理数・実数の構築 22
6.3 順序数（Ordinal Numbers）の理論 22
6.4 基数（Cardinal Numbers）の理論 23
第7章 累積的階層と宇宙 V 24
7.1 集合論的宇宙 V の構造 24
7.2 各段階 V_α の構造 24
7.3 集合のランク（Rank） 24
7.4 V 以外のモデル：独立性の直観 25
第8章 メタ数学と独立性問題 26
8.1 ゲーデルの不完全性定理とZFC 26
8.2 連続体仮説（CH）の独立性 26
8.3 二つの技法：L（内部モデル）と強制法（外部モデル） 26
第9章 ZFCを超えて：巨大基数と現代の潮流 28
9.1 なぜZFCを超える必要があるか 28
9.2 到達不能基数（Inaccessible Cardinals） 28
9.3 巨大基数の階層 28
9.4 決定性公理と大基数 28
9.5 カテゴリー論との関係：グロタンディーク宇宙 29
9.6 集合論の現代的課題 29
第10章 結論：数学の基礎としてのZFCの現在地 30
10.1 ZFCの成功：20世紀数学の統一的基盤 30
10.2 ZFCの限界：何が証明できないか 30
10.3 ZFCと数学の実践：二つの見方 30
10.4 21世紀の展望：形式化・計算・基礎 31
10.5 まとめ：ZFCが数学に与えたもの 31
付録A：ZFCの公理一覧（形式的記述） 32
付録B：重要な概念の用語集 33
付録C：参考文献・さらなる学習のために 33
C.1 入門・標準レベル 33
C.2 中・上級レベル 33
C.3 哲学・基礎論 34
序文：なぜ集合論が数学の「言語」なのか
数学は、人類が生み出した最も厳密な思考体系の一つである。微分積分学は惑星の軌道を計算し、線型代数学は量子力学の基盤を支え、確率論は金融市場を記述する。これらの多彩な数学の分野は、表面上は互いに異なるように見えるが、その奥底ではすべて共通の「言語」を用いて記述されている。その言語こそが、集合論（Set Theory）である。
しかし、「なぜ集合論が数学の言語なのか」という問いに答えるためには、まず「集合論が登場する以前、数学はどのような状態にあったか」を理解する必要がある。19世紀以前の数学者たちは、直観と経験に基づいて数学を展開していた。ニュートンとライプニッツが微積分学を発明したとき、「無限小」という概念は厳密に定義されておらず、「感覚的に正しい」という直観に頼っていた。この状況は、数学の「基礎（Foundation）」が砂の上に建てられていることを意味していた。
19世紀後半、リヒャルト・デデキントやカール・ワイエルシュトラスらによって数学の厳密化（いわゆる「ε-δ論法」の確立）が進められたが、その過程でより根本的な問いが浮上した。「数とは何か？」「実数という集まりを、どのように厳密に定義するか？」という問いである。これらの問いに答えるべく登場したのが、ゲオルク・カントールによる集合論であった。
カントールは、数学的対象の「集まり」を集合（Set）と呼び、この概念を用いることであらゆる数学的対象を統一的に記述できることを示した。自然数も、実数も、関数も、幾何学的図形も——すべては集合として表現できる。この発見は数学の世界に革命をもたらしたが、同時に深刻な危機も招いた。「どんな条件を書いても集合が作れる」という自由さが、ラッセルのパラドックスに代表される根本的な矛盾を生み出したのである。
この危機を克服すべく、20世紀初頭に数学者たちは「どのような操作によって集合を作ってよいか」を厳密に規定する「公理系」を構築した。ここには一つの思想的転回がある。ZFCは「集合とは何か」を定義する体系ではなく、「どの対象を存在させてよいかを手続きによって統治する」体系なのである。素朴集合論が「誰でも何でも集合にしてよい」世界だったのに対し、ZFCは「集合の生成には権限と境界がある」世界を作った。分離公理は生成の制限を、置換公理は写像の像の保証を、正則性公理は循環の排除を担う。数学とは、自由な直観をそのまま放置する営みではなく、どの対象を存在させてよいかを公理によって統治する営みである——この視点が本書の芯にある。
その統治体系の集大成が、エルンスト・ツェルメロとアドルフ・フレンケルの名を冠した「ZF公理系」であり、そこに選択公理（Axiom of Choice, AC）を加えた「ZFC集合論」である。現在、数学のほぼすべての定理は、ZFCの枠組みの中で証明可能である（あるいは証明不可能であることが分かる）という意味で、ZFCは現代数学の「公式の基礎」として広く認められている。
本書は、このZFC集合論の全体像と、その数学的・哲学的意味を理解することを目標とする。ZFCを完全に習熟するにはモデル理論・再帰理論・強制法・大基数理論まで相当の深さが要求されるが、本書はその入口を確かに開き、主要な公理の意味・主要な定理の証明の骨格・独立性という現象の本質までを見通すことを目指す。対象読者は、大学数学の基礎（論理・集合の初歩）を学んだ方から、数学の基礎論に真剣に向き合いたい大学院生・研究者まで幅広く想定している。