ペアノの公理

ペアノの公理 とは、自然数の全体を特徴づける公理である。ペアノの公準あるいはデデキント＝ペアノの公理とも呼ばれる菊池。1891年にイタリアの数学者ジュゼッペ・ペアノにより定式化された。

ペアノの公理を起点にして、初等算術と整数・有理数・実数・複素数の構成などを実際に展開してみせた古典的な書物に、1930年に出版されたランダウによる『解析学の基礎』がある。

1. 公理
-----

集合 ℕ}} と定数 0}} と関数 S}}と命題E}}に関する次の公理をペアノの公理というハルモス自然数を math。

任意の //n// ∈ ℕ}} について
任意の //n// ∈ ℕ}} について
任意の //n//, //m// ∈ ℕ}} について //n// ≠ //m//}} ならば
任意の //E// [[部分集合 について 0 ∈ //E//}} かつ任意の //n// ∈ ℕ}} について //n// ∈ //E// [[ならば ならば このとき ℕ}} の元を自然数といい、自然数 n}} に対して自然数 //S//}} をその後者 自然数 mathという。

第五公理は、数学的帰納法の原理である任意の部分集合に関する量化を行っているので、これは一階述語論理では形式化できない。}}。

これらの公理は互いに独立であり、いずれも残りから導くことはできないEoM。

ペアノの公理から 2 + 2 =}} 4}} や 2 ⋅ 2 =}} 4}} のような「定理」を証明するには 2 =}} //S//)}} などの項を導入したり、加法 +}} や乗法 ⋅}} の存在や性質を示したりする必要がある。たとえば Henle を見よ。

2. 回帰定理
-------

次の主張を回帰定理という足立。

集合 X}} に属する元 x}} と写像 //g//: //X// → //X//}} が与えられたとき

を満たす写像

が一意的に存在する。

たとえば //X// =}} ℕ}} のとき写像 f}} は初項が x}} の漸化式により定義される数列に他ならない。回帰定理はこのような再帰的に定義される写像の存在と一意性を数学的帰納法の原理により保証する。

3. 範疇性
------

集合 ℕ^}} と定数 0^}} と関数 //S//^}} がペアノの公理を満たすとき組 }} をペアノ構造という。ペアノ構造は同型を除いてただ一つに定まるすなわち全単射 math、つまりペアノの公理は範疇的であることがわかる。

一方で後述するペアノ算術はレーヴェンハイム＝スコーレムの定理から超準モデルをもつので範疇的ではない。

4. 集合論的な構成
----------

現代数学において標準的な数学の対象はすべて集合として実現されている。集合論における自然数の標準的な構成法としては

があるハルモス曰く「読者がこの自然数の定義に関連して味わうかもしれない軽微な不快感はまったく普通のまた大ていの場合は一時的なものである」sfn。これらの集合は存在して、ペアノの公理を満たすことが確かめられる。

このとき具体的な自然数は

のようになる。この構成法はジョン・フォン・ノイマンによる。

自然数の集合が定義されたとき、その構成と自然数上での帰納法から、自然数上の算術や順序を定めることができる。

4.1. 加法
-------

自然数の加法は次のように再帰的に定義される。

4.2. 乗法
-------

自然数の乗法は次のように再帰的に定義される。

4.3. 順序
-------

自然数の順序は次のように定義される。 ある k}} について

が成り立つとき

と定義する。

また //n// ≤ //m//}} かつ //n// ≠ //m//}} のとき //n// < //m//}} と定義する。

5. ペアノ算術
--------

非論理記号として定数記号 0}} と関数記号 S}}, +}}, ⋅}} と述語記号 <}} をもつ等号つき一階述語論理の形式言語上で、以下の公理によって定まる理論をペアノ算術あるいは PA という鹿島。

自然数の標準モデル ℕ}} において真である [[算術的階層 閉論理式はペアノ算術から証明ができることが知られている鹿島。

一方でゲーデルの第一不完全性定理によりペアノ算術からは証明も反証もできない命題が存在する。有名な例としてはグッドスタインの定理やパリス＝ハーリントンの定理がある。

6. 無矛盾性
-------

7. 歴史
-----

ペアノは 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// が二条件「 1 は //s// に含まれる,  自然数 //a// が //s// に含まれるならば //a+// も //s// に含まれる」を満たすならば、あらゆる自然数は //s// に含まれる。ペアノがこれらの原始命題によって自然数そのものを定義しようとはしなかった点には注意を払う必要がある。 彼は自然数の持つべき性質を挙げ、自然数 や 1 などの原始命題中に現れる用語を無定義述語として扱っている。 これは後にヒルベルトらによって強力に進められることになる、形式主義的方法の格好の例といえる。

8. 脚注
-----

8.1. 注釈
-------

8.2. 出典
-------

9. 参考文献
-------

和書 - 「数とは何かそして何であるべきか？」・「連続性と無理数」を収録。

10. 関連項目
--------

算術の超準モデル
プレスバーガー算術
ラムダ計算
レーヴェンハイム＝スコーレムの定理
ロビンソン算術

11. 外部リンク
---------