>>484
何を指して「ペアノシステム」と呼んでるのかにもよるが、
もともとのペアノ公理系は、自然数の順序構造しか表しておらず、
整数の代数構造の部分集合としての自然数を記述してない。

後者写像は、自然数の集合NからNへの任意の全単射fについて
x→(f^-1)(f(x)+1)　で構わないから、後者が+1だというのは
一例としてそう解釈することもできるという話でしかない。