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

現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理（Axiom of Choice）を加えた ZFC公理系（Zermelo-Fraenkel set-theory with the axiom of Choice）である。ZC, ZでそれぞれZFCおよびZFから置換公理を除いたもの、Z^-, ZF^-, ZC^-, ZFC^- で各体系から正則性公理を除いたものを表す。キューネンは『The Foundations of Mathematics』で「初等数学のほとんどはZC^-での中でなされる」と述べている^[1]。

• 外延性の公理　A と B が全く同じ要素を持つのなら A と B は等しい：

${\displaystyle \forall A\forall B(\forall x(x\in A\leftrightarrow x\in B)\rightarrow A=B)}$ 。

• 空集合の公理　要素を持たない集合が存在する：

${\displaystyle \exists A\forall x(x\notin A)}$ 。

外延性の公理から、空集合の公理が存在を主張する集合はただ一つであることが言えるので、これを空集合と呼び、${\displaystyle \varnothing }$ で表す。

• 対の公理　任意の要素 x, y に対して、x と y のみを要素とする集合が存在する：

${\displaystyle \forall x\forall y\exists A\forall t(t\in A\leftrightarrow (t=x\vee t=y))}$ 。

外延性の公理から、x と y に対して対の公理が存在を主張する集合はただ一つであることが言えるので、これを ${\displaystyle \{x,y\}\,}$ で表す。${\displaystyle \{x,x\}\,}$ を ${\displaystyle \{x\}\,}$ で表す。これにより順序対の存在が言え、それにより直積集合の存在も言える。

• 和集合の公理　任意の集合 X に対して、X の要素の要素全体からなる集合が存在する：

${\displaystyle \forall X\exists A\forall t(t\in A\leftrightarrow \exists x\in X(t\in x))}$ 。

外延性の公理から、X に対して和集合の公理が存在を主張する集合はただ一つであることが言えるので、これを X の和集合と呼び、${\displaystyle \bigcup X}$ で表す。${\displaystyle \bigcup \{x,y\))$ を ${\displaystyle x\cup y}$ で表す。

• 無限公理　空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する：

${\displaystyle \exists A(\varnothing \in A\wedge \forall x\in A(x\cup \{x\}\in A))}$ 。

• 冪集合公理　任意の集合 X に対して X の部分集合全体の集合が存在する：

${\displaystyle \forall X\exists A\forall t(t\in A\leftrightarrow t\subseteq X)}$ 。

外延性の公理から、X に対して冪集合の公理が存在を主張する集合はただ一つであることが言えるので、これを X の冪集合と呼び、${\displaystyle {\mathcal {P))(X)}$ または2^xで表す。

• 置換公理　"関数クラス"による集合の像は集合である：

${\displaystyle \forall x\forall y\forall z((\psi (x,y)\wedge \psi (x,z))\rightarrow y=z)\rightarrow \forall X\exists A\forall y(y\in A\leftrightarrow \exists x\in X\psi (x,y))}$ 。

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

• 正則性公理（基礎の公理）　空でない集合は必ず自分自身と交わらない要素を持つ：

${\displaystyle \forall A(A\neq \varnothing \rightarrow \exists x\in A,\forall t\in A(t\notin x))}$ 。

正則性公理はジョン・フォン・ノイマンによって導入された（1925年）。

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

${\displaystyle \forall X((\varnothing \notin X\wedge \forall x\in X\forall y\in X(x\neq y\rightarrow x\cap y=\varnothing ))\rightarrow \exists A\forall x\in X\exists t(x\cap A=\{t\}))}$ 。

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

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

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

${\displaystyle \forall X\exists A\forall x(x\in A\leftrightarrow (x\in X\wedge \psi (x)))}$ 。

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

分出公理を公理として採用する場合にはXを任意に選んだ集合、 ${\displaystyle \psi (x)}$を恒偽式${\displaystyle (x\neq x)}$としてとして分出公理を適用することにより空集合の存在が導かれる。

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

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

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

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

アレクサンドル・グロタンディークは自身の著書において、任意の大きさのグロタンディーク宇宙が存在すること (任意の集合に対して、それを含むグロタンディーク宇宙が存在すること) を公理として課した^[5][6]。これは現在、タルスキ=グロタンディーク集合論（英語版）と呼ばれている^[7]。

置換公理と分離公理には、いずれも無限に多くの実例がある。 Montague (1961)には、1957年の博士論文で最初に証明された「ZFCが無矛盾であれば、有限個の公理でZFCを公理化することはできない」という結果が含まれる。一方、フォン・ノイマン＝ベルナイス＝ゲーデル集合論（英語版）（NBG）は、有限個の公理で公理化することができる。 NBGには真のクラスと集合が含まれるが、集合は別のクラスの元になることができる任意のクラスであるとされる。 NBGとZFCはクラスに言及しておらず、一方の理論で証明できる定理がもう一方の理論でも証明できるという意味で、等価な集合論であるといえる。

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

新基礎集合論を参照。

• Halmos, Paul R. (2012-04-05), Naive Set Theory (2011 Reprint of 1960 Edition ed.), Lightning Source Inc., ISBN 978-1-61427-131-4 
  • ポール・ハルモス『素朴集合論』ミネルヴァ書房、1975年9月。ISBN 4-623-00986-6。http://www.minervashobo.co.jp/book/b47348.html。 

• 集合
• 集合の代数学
• 整礎的集合
• 数理論理学
• グロタンディーク宇宙

• Weisstein, Eric W. "Zermelo-Fraenkel Axioms". mathworld.wolfram.com (英語).

表 話 編 歴 集合論
基本	集合 元 包含関係 内包と外延 クラス ベン図
演算	和集合 非交和 共通部分 素集合 直積集合 分割 補集合 差集合 対称差 冪集合 ド・モルガンの法則 集合の代数学
関係	性質 反射関係 推移関係 推移閉包 対称関係 非対称関係 反対称関係 完全関係 同値関係 同値類 well-defined 整礎関係 逆関係 関係の合成 写像 定義域 終域 値域 単射 全射 全単射 逆写像 像と逆像 恒等写像 制限 包含写像 合成 射影 商写像 指示関数 配置集合 族 添字集合 順序対 順序組 列 集合族 グラフ 部分写像 対応 順序 前順序 有向 半順序 全順序 整列 稠密 有界 単調写像 順序同型 辞書式順序 順序型 推移的集合 順序数 0 後続 極限 自然数 ハッセ図 超限帰納法 ツォルンの補題 整列可能定理 整礎的集合 フォン・ノイマン宇宙
濃度	有限集合 空集合 単集合 遺伝的 可算集合 非可算集合 連続体濃度 始順序数 共終数 基数 正則 到達不能 巨大 一覧 ベルンシュタインの定理 カントールの対角線論法 カントールの定理 連続体仮説
公理化	素朴集合論 ラッセルのパラドックス 公理的集合論 ツェルメロ＝フレンケル集合論 フォン・ノイマン＝ベルナイス＝ゲーデル集合論 モース-ケリー集合論 新基礎集合論 外延性の公理 空集合の公理 分出公理 対の公理 和集合の公理 冪集合公理 置換公理 無限公理 正則性公理 選択公理 可算 従属
研究者	ゲオルク・カントール リヒャルト・デーデキント バートランド・ラッセル エルンスト・ツェルメロ アドルフ・フレンケル ジョン・フォン・ノイマン クルト・ゲーデル ポール・コーエン
カテゴリ