自然数の加法 (ペアノ算術) この記事では、ペアノの公理を満たす『自然数』の加法を定義し、その性質を論じる。 (いずれ自然数の記事シリーズを作ってそこに編入したいと考えている) 数学 2020/03/13 k.izumi タグ:結合律 , 自然数 , ペアノの公理 , 交換律 , モノイド , 加法