ペアノの公理
ペアノの公理（ペアノのこうり、） とは、自然数の全体を特徴づける公理である。ペアノの公準（）あるいはデデキント＝ペアノの公理（）とも呼ばれる。1891年にイタリアの数学者ジュゼッペ・ペアノにより定式化された。
ペアノの公理を起点にして、初等算術と整数・有理数・実数・複素数の構成などを実際に展開してみせた古典的な書物に、1930年に出版されたランダウによる『解析学の基礎』（）がある。