从皮亚诺公理体系到1+1=2的严格证明(一）

相信大家小时候都有过这样一个经验，被别人问1+1为什么等于2？

可能都把这个看作一种调侃；曾经别人也问过我这样一个问题，我当时避重就轻的回答说因为2-1=1，所以1+1=2；事后我思考过这个问题，发现实际上我的证明是有问题，因为2-1=1和1+1=2可以看做是同一个命题的2种不同陈述方法，所以实际上我相当于什么都没说

当我稍微认真一点思考这个问题的时候，我发现很难给出一个明确的证明，于是也只好把这个归于一个常识，直到某一天，我才知道原来这个问题真的有严格的证明方法，也真的有答案，下面我就来给出1+1=2的一个严格证明，故事要从皮亚诺公理体系说起，该体系给出了 自然数的定义方法，

先聊一点历史，随着微积分公理基础的严格性被质疑，19世纪的数学家开始着手分析的严格化建立；柯西对无穷小给出精确定义，康托的集合论的创建， 都为分析的严格化迈出了重要的一步，实际上从欧几里得的几何原本开始，就为数学的体系建立提供了演绎的建立方法，也就是先给出几个不需要证明的公理，再根据这些公理进行逻辑推理，推理的结论就上升为定理；欧几里得根据五大公设给出了几何原本中所有命题的证明，这一点可以认为是这种演绎逻辑体系的巅峰；也是几何原本最重点的意义和价值之一。

在这样的背景下，皮亚诺为了对自然数给出严格定义，也给出了几条公理，并据此推理出了整个自然数，后世为了纪念，就把这几条公理并成为皮亚诺公理体系，下面我们来看看皮亚诺的公理是什么样的，注意这里给出的后世简化后的版本；

皮亚诺公理体系：给定一