皮亞諾公理

公理1： 0是一個自然數

公理2： 若n是自然數，則n的後繼數也是自然數

公理3： 0不是任何自然數的後繼，即對於每個自然數n，都有n的後繼數不等於0

公理4： 不同的自然數必有不同的後繼者；也就是說，若n，m是自然數且n不等於m，則n的後繼數也不等於m的後繼數。若有n的後繼數=m的後繼數，則n=m。

公理5（數學歸納原理）

設P(n)是關於自然數的一個性質。假設P(0)是真的，並假設只要P(n)是真的，則P(n的後繼數)也是真的。那麼對於每一個自然數n，P(n)都是真的。

以上就是數學專業定義自然數的方法。

我們首先給出了最開始的一個自然數“0”，然後給出了“0”的後繼數“1”，再然後給出了“1”的後繼數“2”，以此類推。

為了讓你更好的理解 我們換一套說法。考慮場景：數一數籃子裡有幾個蘋果。

首先，我們把籃子裡沒有蘋果的狀態記為“F”；放進去一個蘋果的狀態記為“FS”；在多一個的狀態記為“FSS”……

定義自然數的方法實際上和數數差不多，只不過數學上將它形式化了。