公理的集合論

**公理的集合論**（こうりてきしゅうごうろん、）とは、公理化された集合論のことである。

## ツェルメロ＝フレンケル集合論

現在一般的に使われる集合の公理系は、ツェルメロ＝フレンケル公理系（ZF公理系）に選択公理（Axiom of Choice）を加えたZFC公理系（**Z**ermelo-**F**raenkel set theory with the axiom of **C**hoice）である。

ZC、ZでそれぞれZFCおよびZFから置換公理を除いたもの、Z−、ZF−、ZC−、ZFC−で各体系から正則性公理を除いたものを表す。ケネス・キューネンは、「The Foundations of Mathematics」（邦訳: 「キューネン数学基礎論講義」）で「初等数学のほとんどはZC−での中でなされる」と述べている。

### ZFの基本的な公理

***[[外延性の公理]]**
:任意の集合について、その集合と同じ元**のみ**をもつ集合は、その集合自体の他に存在しない。

:\forall x\ \forall y\left[\forall z\left[z\in x\hArr z\in y\right]\rArr x=y\right]

***[[空集合の公理]]**
:元をもたない集合が存在する。

:\exist x\ \forall y\left[y\not\in x\right]

***[[対の公理]]**
:任意の値 x と y について、x と y **のみ**を元とする集合が存在する。

:\forall x\ \forall y\ \exist A\ \forall t\left[t\in A\harr\left[t=x\lor t=y\right]\right]

***[[和集合の公理]]**
:任意の集合 X について、X の要素の要素全体からなる集合が存在する。

:\forall X\ \exist A\ \forall t\left[t\in A\harr\exist x\left[x\in X\land t\in x\right]\right]

***[[無限公理]]**
:空集合を元とし、任意の元 x について x\cup\left\{x\right\} も元とする集合が存在する。

:\exist A\left[\varnothing\in A\land\forall x\left[x\in A\rArr x\cup\left\{x\right\}\in A\right]\right]

***[[冪集合公理]]**
:任意の集合について、**少なくとも**その集合の任意の部分集合を元とする集合が存在する。

:\forall x\ \exist y\ \forall z\left[\forall w\left[w\in z\rArr w\in x\right]\rArr z\in y\right]

***[[置換公理]]**
:"関数クラス"による集合の像は集合である。

:\forall x\ \forall y\ \forall z\left[\left[\psi\left(x,\,y\right)\wedge\psi\left(x,\,z\right)\right]\rarr y=z\right]\rarr\forall X\ \exist A\ \forall y\left[y\in A\harr\exist x\left[x\in X\land\psi\left(x,\,y\right)\right]\right]

:この公理は、論理式 \psi をパラメータとする公理図式である。

***[[正則性公理]]（基礎の公理）**
:任意の集合は、元をもたないか、自身と互いに素な元をもつ。

:\forall x\left[\exist w\left[w\in x\right]\rArr\exist y\left[y\in x\land\neg\ \exist z\left[z\in x\land z\in y\right]\right]\right]

### 選択公理

***[[選択公理]]**　X が互いに交わらないような空でない集合の集合であるとき、X の各要素から一つずつ要素をとってきたような集合（**選択集合**）が存在する。

:\forall X\left[\varnothing\in X\lor\left[\left[\forall x\in X\ \forall y\in X\left[x\not=y\rarr x\cap y=\varnothing\right]\right]\rarr\exist A\ \forall x\in X\ \exist t\left[x\cap A=\left\{t\right\}\right]\right]\right]

:選択公理と同値であることが ZF において証明できる命題として、整列定理やツォルンの補題などがある。

### 分出公理

置換公理は、フレンケルによって次の分出公理の代わりにおかれた（1922年）。分出公理は、置換公理と空集合の公理から示すことができる。

***[[分出公理]]**　任意の集合 X と A を自由変数として使用しない論理式 \psi\left(x\right) に対して、X の要素 x で \psi\left(x\right) をみたすような x 全体の集合が存在する。

:\forall X\ \exist A\ \forall x\left[x\in A\harr\left[x\in X\land\psi\left(x\right)\right]\right]

:この公理は、論理式 &psi; をパラメータとする公理図式である。論理式 &psi; を決めたとき、*X* に対して分出公理が存在を主張する集合はただ一つであることが外延性の公理から言えるので、これを \{x\in X\mid \psi(x)\} で表す。\{x\in X\mid x\in Y\} を X\cap Y で表す。

分出公理を公理として採用する場合には*X*を任意に選んだ集合（例えば、無限公理で存在が要請される集合）、 \psi(x)を恒偽式(x\neq x)として分出公理を適用することにより空集合の存在が導かれる。

## ZFCに追加されうる公理
特に集合論においては、必要に応じて追加の公理が課せられる場合がある。そのようなものは追加される公理を適当な記号で表して ZFC+I (到達不能基数の存在を仮定する場合) や ZFC+GCH (一般連続体仮説の場合) のように表記される。

### 連続体仮説

### マーティンの公理

### グロタンディーク宇宙の存在公理

圏論における議論の目的の一つに、群やその間の準同型といった数学的対象全体の性質を議論することがある。しかし、これらを素朴に実装する (すなわち、内包原理を一般に適用する) ことは集合論上のパラドックスを引き起こすため、例えばZFCのような形式的な体系においては認められない。

マックレーンは『圏論の基礎』において、ユニバース (無限集合  を要素に持つグロタンディーク宇宙) を導入することでこの問題を回避している。ユニバースの要素となる集合を"小さい"集合、そうでないものを"大きい"集合とし、ユニバースの内側で通常の数学が行えるようにすることで、すべての小さい集合の圏 **Set** やすべての小さい圏の圏 **Cat** といったものの議論が可能になる。

グロタンディーク宇宙の存在は到達不能基数の存在と等価である (正確に書くと、任意のグロタンディーク宇宙  はある到達不能基数  で  と表すことができ、逆に任意の到達不能基数  に対して濃度が  であるようなグロタンディーク宇宙が存在する)。到達不能基数はZFCのモデルを提供するため、これはZFCよりも強い公理系をなす。

### タルスキの公理

アレクサンドル・グロタンディークは自身の著書において、任意の大きさのグロタンディーク宇宙が存在すること (任意の集合に対して、それを含むグロタンディーク宇宙が存在すること) を公理として課した。これは現在、と呼ばれている。

## ZFC以外の公理系

### フォン・ノイマン＝ベルナイス＝ゲーデル集合論

置換公理と分離公理には、いずれも無限に多くの実例がある。 には、1957年の博士論文で最初に証明された「ZFCが無矛盾であれば、有限個の公理でZFCを公理化することはできない」という結果が含まれる。一方、（NBG）は、有限個の公理で公理化することができる。 NBGには真のクラスと集合が含まれるが、集合は別のクラスの元になることができる任意のクラスであるとされる。 NBGとZFCはクラスに言及しておらず、一方の理論で証明できる定理がもう一方の理論でも証明できるという意味で、等価な集合論であるといえる。

### モース-ケリー集合論

モース-ケリー集合論を参照。

### 新基礎集合論

新基礎集合論を参照。

## 脚注

## 参考文献
*
**

## 関連項目
*集合
*集合の代数学
*整礎的集合
*数理論理学
*グロタンディーク宇宙

## 外部リンク
*