皮亞諾公理

1. 零是一個數。

2. 如果 是一個數，則 的後繼也是一個數。

3. 零 不是任何數的後繼。

4. 如果兩個數的後繼相等，則這兩個數本身也相等。

5. ( 歸納公理 ) 如果一個數集 包含 零，並且也包含 中每個數的後繼，那麼每個數都在 中。

皮亞諾公理是被稱為 皮亞諾算術 的 數論 版本的基石。