第2章-从头开始：自然数 2.2-加法

定义

现在已知的是增长运算以及2.1节的Peano公理和一些定义

• 以下递归的定义加法
  
  • 设 $m$ 是自然数，定义 $0+m=m$
  • 假设已经定义了 $n+m$，则定义 $(n++)+m=(n+m)++$
• 一个自然数是正的，当且仅当它不等于 $0$
• 设 $n$ 和 $m$ 是自然数，$n\ge m$ 或者 $m\le n$，当且仅当对于某个自然数 $a$，$n=m+a$ 成立
• $n>m$ 或者 $m<n$ 当且仅当 $n\ge m$ 且 $n\not= m$

已证命题

1. $\begin{equation} n+0=n \end{equation}$
2. $n+(m++)=(n+m)++$，特殊的有 $n+1=n++$
3. $n+m=m+n$（交换律，可由1、2推出）
4. $a+c=b+c\Rightarrow a=c$（消去律，归纳法+公理2.4）
5. $a$ 是正的，$b$ 是自然数，则 $a+b$ 是正的
6. 若 $a+b=0$，那么 $a=0，b=0$

习题

• 证明加法满足结合律
  
  • 固定两个变元，对第三个变元进行归纳
  • $(a+b)+0=(a+b)=a+b\quad a+(b+0)=a+(b)=a+b$
  • 假设 $(a+b)+c=a+(b+c)$，
    则 (