合数的定义(什么叫自然数)

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