刚开始看，觉得挺有意思，试着证明下这个why
证：根据加法定义，设m是一个自然数，由公理1,0是自然数，0+m:=m是自然数。
假设n为一自然数，n+m也是自然数，由公理2，n++是自然数，那么（n++)+m：=（n+m)++也是自然数，
综上，根据公理2.5，n+m对所有n都是自然数。
不知对否？