ペアノの公理

デジタル大辞泉

ペアノ‐の‐こうり【ペアノの公理】

読み方：ぺあののこうり

イタリアの数学者ペアノが考案した自然数の公理系。五つの公理からなり、自然数のすべての性質が導かれる。また数学的帰納法も含まれる。

ウィキペディア

ペアノの公理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/08/26 23:20 UTC 版)

ペアノの公理（ペアノのこうり、英: Peano axioms） とは、自然数の全体を特徴づける公理である。ペアノの公準（英: Peano postulates）あるいはデデキント＝ペアノの公理（英: Dedekind-Peano axioms）とも呼ばれる。1891年にイタリアの数学者ジュゼッペ・ペアノにより定式化された。