ペアノの公理

3行要約

1. 自然数の集合が持つべき性質を、最小限の前提から定義した5つの公理系。
2. 0の存在、後者関数の性質、数学的帰納法の原理などが規定されている。
3. 現代数学において、算術の基礎を論理的に構築するための出発点となっている。