イタリアの数学者。農民出身。ペアノの自然数論で有名。 自然数の厳密な定義を与えた。
ジュゼッペ・ペアノは、19世紀のイタリアを代表する数学者であり、論理学と数学の基礎づけに大きな功績を残した人物です。
ゼロを自然数の始まりとし、自然数の定義の基礎とします
例えば、1の後に2があり、2の後に3があるといったように、任意の自然数に対して次の数が存在することを示します。
1と2、2と3のように、異なる数は異なる次の数を持ちます。この公理により、数が一意であることが示されます。
ゼロは他のどの自然数の「次の数」でもないと定義され、ゼロが「最初の数」であることが保証されます。
これは数学的帰納法と呼ばれるもので、ある性質がすべての自然数に適用されるかどうかを判断する方法です。
ペアノの公理は、自然数を形式的かつ論理的に定義し、数学の根底にある数の概念をより厳密に捉えられるようにしました。この公理体系により、自然数に関連する数多くの性質や法則が明確に説明され、数学的証明の基礎として機能することが可能となったのです。
代表的な業績を、関連する連載・記事とあわせて紹介します。
自然数とは、0（または1）から始まり、1ずつ増えていく数の無限の列のことを指します。
「ものを数える」「順序をつける」など、私たちの生活や数学の基本を成す非常に重要な概念です。しかし、数学が論理的に洗練されていった19世紀末、数学者たちは次の問いに直面しました。
「自然数とは、そもそも何か？」
この問いに答えるため、ジュゼッペ・ペアノは、自然数の体系を論理的に定義するための5つの基本的なルールを提唱しました。これが有名なペアノの公理です。
