無限公理（むげんこうり、英: axiom of infinity）とは公理的集合論におけるZF公理系を構成する公理の一つで、「無限集合の存在」を主張するものである。エルンスト・ツェルメロによって1908年に初めて提示された。 ZF公理系における公式な定義は次の通りである。空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する： ∃ A ( ∅ ∈ A ∧ ∀ x ∈ A ( x ∪ { x } ∈ A ) ) {\displaystyle \exists A(\varnothing \in A\wedge \forall x\in A(x\cup \{x\}\in A))} 上記定義では「無限」という言葉は用いられていないが、この公理によって（少なくとも1つの）無限集合の存在が保証されることになる。 まず定義中の集合 A {\displaystyle A} は以下の性質を満たすことを確認できる。 各手続きで得られた集合を要素とする集合を B := { ∅ , { ∅ } , { ∅ , { ∅ } } , ⋯ } {\displaystyle B:=\{\varnothing ,\{\varnothing \},\{\varnothing ,\{\varnothing \}\},\cdots \}} とおくと、 B {\displaystyle B} は A {\displaystyle A} の部分集合である。この手続きは何回でも繰り返すことができるが、もし有限回で終えた場合、 B {\displaystyle B} は有限集合であり、 A ≠ B {\displaystyle A\neq B} である。なぜならば定義により B ∪ { B } ∈ A {\displaystyle B\cup \{B\}\in A} であるが、 B ∪ { B } ∉ B {\displaystyle B\cup \{B\}\notin B} となるからである。一方 A {\displaystyle A} が有限集合であれば、この手続きを繰り返すことで B {\displaystyle B} が A {\displaystyle A} よりも多くの要素をもつことができてしまう。 従って A {\displaystyle A} は有限集合ではない（すなわち無限集合である）ため、無限公理を採用すれば直ちに無限集合の存在を認めることになる。 上記の手続きはペアノの公理における自然数の構成方法と同様である。ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合） 無限公理はZF公理系において独立した公理である。すなわちZF公理系の他の公理たちから導くことも反証することもできない。 性質
定義
解釈と帰結
∅ ∈ A {\displaystyle \varnothing \in A} （空集合 ∅ {\displaystyle \varnothing } は A {\displaystyle A} の要素である）
∅ ∪ { ∅ } = { ∅ } ∈ A {\displaystyle \varnothing \cup \{\varnothing \}=\{\varnothing \}\in A} （「空集合 ∅ {\displaystyle \varnothing } を要素にもつ集合」は A {\displaystyle A} の要素である）
{ ∅ } ∪ { ∅ ∪ { ∅ } } = { ∅ , { ∅ } } ∈ A {\displaystyle \{\varnothing \}\cup \{\varnothing \cup \{\varnothing \}\}=\{\varnothing ,\{\varnothing \}\}\in A} （「空集合」と「空集合を要素にもつ集合」の2つを要素にもつ集合は A {\displaystyle A} の要素である）
（以下同様に繰り返す）
独立性
関連項目
公理的集合論
ペアノの公理
外部リンク
.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}Weisstein, Eric W. "Axiom of Infinity". mathworld.wolfram.com (英語).
歴
集合論
基本
集合
元
包含関係
内包と外延
クラス
ベン図
演算
和集合
非交和
共通部分
素集合
直積集合
分割
補集合
差集合
対称差
冪集合
ド・モルガンの法則
集合の代数学
関係
反射関係
推移関係
推移閉包
対称関係
非対称関係
反対称関係
完全関係
同値関係
同値類
well-defined
整礎関係
逆関係
関係の合成
写像
定義域
終域
値域
単射
全射
全単射
逆写像
像と逆像
恒等写像
制限
包含写像
合成
射影
商写像
指示関数
配置集合
族
添字集合
順序対
順序組
列
集合族
グラフ
部分写像
対応
順序
前順序
有向
半順序
全順序
整列
稠密
有界
単調写像
順序同型
辞書式順序
順序型
推移的集合
順序数
0
後続
極限