ペアノの公理
$ 0
は
自然数
である
$ x
が自然数なら、
$ x'
もまた自然数である
$ x'
が
$ 0
となる
$ x
は存在しない
$ a \ne b
ならば
$ a' \ne b'
である
自然数は、以上のルールで決まるもののみである
$ x'
は
後者関数
十進法では
$ 0'
を
$ 1
、
$ 1'
を
$ 2