大家都知道什么是自然数，但未必知道为什么“0”是自然数以及如何给自然数下个数学定义呢？
例如：（定义）0是自然数，
1是自然数，
2是自然数，
……………
由于自然数有无限个，上述自然数1、2、3的定义都符合数学定义的逻辑。但按上述定义自然数相当于要对每个自然数下个定义，显然，上述定义自然数的方法虽然没有逻辑上的错误，但不符合定义的简洁性，概括性。
下面给出一个关于自然数的定义供大家参考。
自然数的定义：
1）0是自然数，1是0的后继；
2）自然数的后继是自然数；
3）若n是自然数，则n 1是它的后继。
【注】不仅给出了自然数的简洁定义，还定义了自然数的加法。人工智能只认识数“0”和“1”，加法是最基本最原始的数字运算！
