＞その加法が自然だとか本質的だとかいう議論は、
＞Nが0を含むほうが自然だとか含まないほうが
＞自然だとかいう議論と同種のものに見える。

もしも他のやり方でNに加法を定義してZの部分にできるなら、説得力もあるんだけどね…