自然数全体を公理化したもの。ジュゼッペ・ペアノ（Giuseppe Peano）によって定義された（1891年）為、現在の名にいたる。次の性質を持つ集合 N を考える。１．0 という要素がある。２．集合 N の任意の要素 a に対し a にはその後者（successor）、suc(a) が

続きを読む