两个自然数之和是否为自然数需要证明吗？

  也许有人会说，两个自然数相加，结果当然还是自然数，这不是显然的嘛，有必要证明吗。在数学中，除了公理无需证明之外，其它所有命题，不管是否显而易见，都必需进行严格证明。否则，一个靠直觉构建起来的数学体系似乎不太让人觉得可信。
　　在证明这个命题之前，我们先给出自然数的定义。百度百科给出自然数的定义如下：
“自然数，又叫非负整数，是指用以计量事物的件数或表示事物次序的数。即用数码0，1，2，3，4……所表示的数。自然数由0开始，一个接一个，组成一个无穷的集体。”
　　这是一个纯语言描述的定义，似乎有点不太严格。
　　我们再看一个自然数的形式化定义：
　　定义1 自然数是集合
　　 N : = { 0 , 1 , 2 , 3 , 4 , ⋯   } \mathbf{N} :=\{ 0, 1, 2, 3, 4, \cdots \} N:={0,1,2,3,4,⋯}
的元素，其中，集合$\mathbf{N}$是由从0开始，无休止地往前进行计数所得到的所有元素构成的集合。
　　上述定义中“无休止地往前计数”，也可以说“不断增长”。用“＋＋”表示进行一次增量运算，$n++$表示$n$进行一次增量运算后的数。也就是说，$n++$是紧跟在$n$之后的数。
　　这种基于序数理论给出的定义自然数的方法是由朱塞佩·皮亚诺首次提出的。我们的证明要用到皮亚诺的五条公理，以及自然数加法的定义。
　　皮亚诺的五条公理：
　　公理1 0是自然数。
　　公理2 每一个确定的自然数$n$，都有一个确定的后继数$n++$ ，$n++$也是自然数。
　　公理3 0不是任何自然数的后继数。
　　公理4 不同的自然数，紧跟在它们之后的数也一定是不同的。也就是说，如果$n$和$m$都是自然数，并且$n\ne m$，那么$n++\ne m++$。
　　公理5 任意关于自然数的命题，如果它对自然数0是真的，且假定它对自然数$n$为真时，可以证明对$n++$ 也为真。那么，命题对所有自然数都为真。(数学归纳法)
　　定义2 （自然数的加法）令$m$为一个自然数，我们定义$m$加上０为$0+m:=m$。现在归纳地假设我们已经定义了如何把$m$加上$n$，那么我们把$m$加上$n++$定义为$(n++)+m:=(n+m)++$。
　　上述加法定义用大白话说就是，先把$b$想成$n++$，自然数$(b+a)$等于$a$加上紧跟在$b$前面的那个自然数后，再进行一次增量运算。例如，5加２等于5加上１后，再进行一次增量运算。
　　有了上述公理，以及自然数加法定义，我们现在来证明任意两个自然数之和为自然数。
　　命题：任给$a，b$，它们都是自然数，证明a+b是自然数。即$\forall a\in \mathbf{N},\forall b\in \mathbf{N}$，证$(a+b)\in \mathbf{N}$.
　　证：
　　当$a=0$时，由上述加法定义有，$a+b=0+b:=b$，因为b是自然数，所以$a+b$是自然数。　　
　　假定自然数$n$加上b为自然数，即$n+b:=m$，其中$m$为自然数，证明
$(n++)+b$为自然数。
　　由上述加法定义得，$(n++)+b:=(n+b)++=m++$。
　　由公理2知，$m++$是自然数。
　　综上，由公理5证得任意两个自然数相加之和也是自然数，即$(a+b)\in \mathbf{N}$，证毕。