0497132人目の素数さん垢版 | 大砲2017/12/05(火) 19:00:00.64ID:iVaTXYxi その加法が自然だとか本質的だとかいう議論は、 Nが0を含むほうが自然だとか含まないほうが 自然だとかいう議論と同種のものに見える。 ペアノの後者写像を用いて加法を実装し 自然数を整数へ拡張する話は、N自体の定義とは また別のものだろう。