形式的なペアノの公理で誤解しやすいポイント

概要

ペアノの公理で誤解しやすいポイントについてまとめました。
なお、本記事では形式的な立場をとり、論理体系は等号付き古典一階述語論理に限定します。

ペアノの公理とペアノ算術は違う

2つの大きな違いは次のようになります。

• ペアノの公理は集合論の中におけるペアノシステムの定義式
• ペアノ算術は一階述語論理の公理系

ペアノの公理は自然数を作っていない

ペアノの公理は「自然数がこんな風になってたらいいなー」ということが書いてますが、具体的に自然数を構成していません。

つまりペアノシステム$(N,S,O)$が存在するかはペアノの公理を定義しただけではわかりません。

またペアノシステム$(N,S,O)$の例はたくさん作れます。

有限順序数全体の集合を$\omega$とし、写像$\mathrm{suc}:\omega \to \omega$を$\mathrm{suc}(n)=n\cup \{n\}$で定義すると$(\omega ,\mathrm{suc},\mathrm{\varnothing })$や$(\omega \setminus \{\mathrm{\varnothing }\},\mathrm{suc}{|}_{\omega \setminus \{\mathrm{\varnothing }\}},\{\mathrm{\varnothing }\})$などはペアノシステムです。

数学的帰納法と再帰的定義は違う

おおざっぱにいえば、数学的帰納法は証明の方法で、再帰的定義は定義の方法です。

ペアノの公理の中に数学的帰納法はありますが、再帰的定義については書いてないので再帰的定義ができることを示さないといけません。

1+1=2の証明で本当に難しいのは+を作ること

繰り返しになりますが、ペアノシステム$(N,S,O)$について$N$上で再帰的定義ができることを示さないといけません。

$+$を構成をしてからようやく$1+1=2$の証明ができます。

ペアノの公理と1+1=2の証明が関係あるかと言われると微妙

ペアノの公理から+を構成できたとして$1+1=2$を証明しようとするとだいたい↓のようになると思います。

この証明に使っているのは+の定義とペアノの公理のうち$S:N\to N$と$O\in N$だけです。

表面上、単射とか、全射でないとか、数学的帰納法とかのペアノの公理の大事な部分を使っていません。

なので、+の構成を省略するならペアノの公理を紹介されても、あまり関係がないように見えると思います。

ペアノ算術の公理の数は無限個

ペアノ算術における数学的帰納法は↓のことです。

これは一つの公理ではなく、論理式$P$ごとに一つの公理があって、それを全部集めたものです。

なのでペアノ算術の公理の数は無限個になります。

同型について

2つのペアノシステム$(N,S,O),(N^{\prime },S^{\prime },O^{\prime })$について$(N,S,O)=(N^{\prime },S^{\prime },O^{\prime })$は成り立ちませんが、ある種の同型は成り立ちます。

なのでペアノシステムはペアノシステムの同型の意味で同型を除いてただ一つ存在する、つまり$(\omega ,\mathrm{suc},\mathrm{\varnothing })\cong (N,S,O)$です。

一方、ペアノ算術のモデルはモデルの同型の意味で同型でないものがあります。