その加法が自然だとか本質的だとかいう議論は、
Nが0を含むほうが自然だとか含まないほうが
自然だとかいう議論と同種のものに見える。
ペアノの後者写像を用いて加法を実装し
自然数を整数へ拡張する話は、N自体の定義とは
また別のものだろう。