０は自然数か？

499 ：１３２人目の素数さん：2017/12/05(火) 19:00:00.64 ID:iVaTXYxi.net

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