>>456
論理が滅茶苦茶で何の説明にもなってない。ガイジ。

＞負の反対が正で正の反対が負
＞その境が０

お前は予め「正の数」「負の数」「０」という整数全体を
指定した上で議論を始めているようだが、だったら

X：＝ { n∈Z｜n≧0 }
f(n)：＝ n＋1 (n∈X)

と置けばよい。このとき、三つ組み (X, 0, f) はペアノシステムになっており、
写像 f はこのシステムにおける れっきとした「後者関数」になっている。