皮亚诺公理
公理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”……
定义自然数的方法实际上和数数差不多，只不过数学上将它形式化了。
