ペアノは 1889年に「Arithmetices Principia, nova methodo exposita(算術原理)」と題するラテン語で書かれた論文で自然数の公理の原型となるべきものを発表している[11][12]が、それらは自然数以外の公理を含み本来必要とされるよりも多くの命題が述べられているなど、自然数の公理系としては不十分なものであった。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 などの原始命題中に現れる用語を無定義述語として扱っている。これは後にヒルベルトらによって強力に進められることになる、形式主義的方法の格好の例といえる。
脚注[脚注の使い方]
注釈^ 自然数を 0 からではなく 1 から始める流儀もある[4]。また自然数の全体が順序数であることを意識するときにはギリシャ文字の ω を用いることがある。
^ 自然数 S(n) は直後の数 n + 1 に相当する。ただし定数 1 や関数 + はまだ定義されていないことに注意。
^ 任意の部分集合に関する量化を行っているので、これは一階述語論理では形式化できない。
^ すなわち全単射 φ: ? → ?^ で φ(0) = 0^ かつ φ ? S = S^ ? φ を満たすものが存在する。
^ ハルモス曰く「読者がこの自然数の定義に関連して味わうかもしれない軽微な不快感はまったく普通のまた大ていの場合は一時的なものである」[7]。
出典^ G. バーコフ、S. マクレーン『現代代数学概論』(改訂3版)白水社、1967年、82?86頁。NDLJP:2422244