この記事では、ペアノの公理を満たす『自然数』の加法を定義し、その性質を論じる。

（いずれ自然数の記事シリーズを作ってそこに編入したいと考えている）