陶哲轩实分析-第2章-从头开始：自然数

warning：个人笔记与习题解答，必然有很多错误！！
看完这一章，再看附录A，再回过头来看感觉容易理解多了
这一章与其说是学数学，不如说是学逻辑，重要的是抛弃所有以前的认识，从0开始
练习独孤九剑？

2.1 Peano公理

假设2.6
书中没有证明假设2.6，不知道为什么。
后来看了公理3.7，为假设2.6的一个更正式的形式，但是是“公理”

2.2 加法

公理2.5
看了这儿才知道，原来数学归纳法是公理，最基础的东西。

命题2.1.16
正如所说，这个命题定义了递归，通过一个函数，定义了n->$a_n$
->前面的n就是普通自然数，->后面的$a_n$ 也满足自然数的5条公理，一个例子是后面定义2.2.1中提到的$f_n(x)==x+3$ ,这里，“$a_n$”中的“0”，也就是c，为3，0++=4，以此类推。

定义2.2.1
书中写“为使m加上零，我们定义0+m:=m”，这里想了半天，为什么不是定义m+0:=m，感觉如果翻译成把0加到m上（英文原文是to add zero to m），就好理解多了，看来得中英文版本对着看

定义2.2.1后面为什么：两个自然数的和仍然是自然数
对于n+m，m为自然数，对n归纳
0+m=m为自然数，假设n+m为自然数
(n++)+m = (n+m)++，根据公理2.2得证

引例2.2.3后面为什么：n++=n+1
引例2.2.3中带入m=0
n+(0++)=(n+0)++，根据(公理2.2中定义)0++=1，而n+0=n（引例2.2.2），故
n+1=n++

习题2.2

2.2.1(a+b)+c=a+(b+c)
对c归纳，保持a、b固定，对于c=0，显然
(a+b)+0=a+(b+0)
假定(a+b)+c=a+(b+c)
(a+b)+c++=((a+b)+c)++
a+(b+c++)=a+(b+c)++=(a+(b+c)++
上面2式就是归纳假定
2.2.2存在自然数b，使得b++=a
由于自然数只有0不是正数，可以设第一个正数为a=0++，这样对于a，有b=0满足b++=a，假设对于a，存在b++=a，则(b++)++=a++
2.2.3
(a) a=b => $a\ge a$
(b)a=b+m, b=c+n则a=c+n+m=c+(n+m) =>