ペアノの公理
ペアノの公理（ペアノのこうり、英: Peano axioms） とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。
定義
ペアノの公理は以下の様に定義される。
自然数は次の5条件を満たす。
- 自然数 0 が存在する。
- 任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
- 0 はいかなる自然数の後者でもない（0 より前の自然数は存在しない）。
- 異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる。
- 0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。 また、後述するとおり集合論における標準的な構成では、0 を空集合として定義する。
さらに形式的には、ペアノシステム (X, x, f) を次の条件を満たす順序つきの三つ組みとして定義する。
- X は集合、 x は X の元、f は X からそれ自身への写像
- x は f の値域にはない
- f は単射である
- もし X の部分集合 A が以下を満たすならば、 A = X である。
- x は A に含まれる
- もし a が A に含まれるなら f(a) も A に含まれる
ペアノの公理は以下の図にまとめることができる:
- [math]x\mapsto f(x)\mapsto f(f(x))\mapsto f(f(f(x)))\mapsto\dotsb[/math]
ここで、各 f(x), f( f(x) ), f( f( f(x) ) ), ... は明確に区別可能。
存在と一意性
集合論における標準的な構成によって、ペアノシステムの条件を満たす集合が存在することを示せる。 まず、後者関数を定義する; 任意の集合 a に対してその後者を suc(a) := a ∪ {a} と定義する。 集合 A が後者関数に関して閉じているとき、つまり 「a が A の元であるならば suc(a) も A の元である」が成り立つときに、 A は帰納的集合であるという。 ここで、次のように定義する。
- [math] 0 := \emptyset = \{\} [/math]
- N := 0 を含むあらゆる帰納的集合の共通部分
- suc := 後者関数のNへの制限
この集合 N を自然数全体の集合といい、これは時々（特に順序数に関する文脈で）ギリシャ文字の ω と表記される。
無限集合の公理は 0 を含む帰納的集合の存在を主張しているので、ここでの N の定義に問題はない。 自然数のシステム (N, 0, suc) はペアノの公理を満たすことが示される。 それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
- [math]0 := \{\}[/math]
- [math]1 := \operatorname{suc}(0) = \{0\}[/math]
- [math]2 := \operatorname{suc}(1) = \{0, 1\} = \{0, \{0\}\}[/math]
- [math]3 := \operatorname{suc}(2) = \{0, 1, 2\} = \{0, \{0\}, \{0, \{0\}\}\}[/math]
等々である。 この構成法はジョン・フォン・ノイマンによる。
これは可能なペアノシステムの構成法として唯一のものではない。 例えば、集合 N = {0, 1, 2, ...} の構成と上記の後者関数 suc を仮定して、 X := {5, 6, 7, ...}, x := 5, と f := X 上に限定した後者関数、と定義したならば、これもまたペアノシステムである。
- [math] 5 \mapsto 6 \mapsto 7 \mapsto 8 \mapsto\dotsb[/math]
二つのペアノシステム (X, x, f) と (Y, y, g) は次の条件を満たす全単射 φ: X→Y が（唯一つ）存在するときに同型であるという:
- φ(x) = y
- X の任意の元 a に対して φ(f(a)) = g(φ(a))
一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理） 二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[1]。
ラムダ計算はペアノの公理を満たす自然数の、異なる構成法を与える。
ペアノ自身による記述
ペアノは 1889年に「Arithmetices Principia, nova methodo exposita（算術原理）」と題するラテン語で書かれた論文で自然数の公理の原型となるべきものを発表しているが、それらは自然数以外の公理を含み本来必要とされるよりも多くの命題が述べられているなど、自然数の公理系としては不十分なものであった。1889 年の記載は以下の通り。原論文には誤植があるが正しい形に修正。本論文では、この後、四則演算の定義などが続き、ここでは明示的に自然数を定義しようとしている。
- 1 は自然数
- a が自然数なら a = a
- a, b が自然数で a = b なら b = a
- a, b, c が自然数で a = b, b = c なら a = c
- a = b で b が自然数なら a は自然数
- a が自然数なら a + 1 は自然数
- a, b が自然数で a = b なら a + 1 = b + 1
- a が自然数なら、a + 1 と 1 は等しくない
- もし集合 K が、1 を含み かつ 自然数 x が K に含まれるなら x + 1 が K に含まれる、という条件を満たすなら K は全ての自然数を含む
現在ペアノの公理系として知られる形のものが発表されたのは 1891年の「数の概念について」である。 この論文の中でペアノは次の 5 項目を自然数の満たすべき原始命題として与え、さらにこれら 5 つの命題が互いに独立であることを証明した。ペアノは現代の用語で言うところの公理と推論規則を合わせて原始命題と呼んだ。ここで挙げているものは公理にあたる。
- 1 は自然数である
- 任意の自然数 a に対して、a+ が自然数を与えるような右作用演算 + が存在する
- もし a, b を自然数とすると、 a+ = b+ ならば a = b である
- a+ = 1 を満たすような自然数 a は存在しない
- 集合s が二条件「(i) 1 は s に含まれる, (ii) 自然数 a が s に含まれるならば a+ も s に含まれる」を満たすならば、あらゆる自然数は s に含まれる。
ペアノがこれらの原始命題によって自然数そのものを定義しようとはしなかった点には注意を払う必要がある。 彼は自然数の持つべき性質を挙げ、自然数 や 1 などの原始命題中に現れる用語を無定義述語として扱っている。 これは後にヒルベルトらによって強力に進められることになる、公理主義的方法の格好の例といえる。