在数学基础理论中，如何从皮亚诺公理出发严格证明1+1=2？

从皮亚诺公理出发证明1+1=2，需先明确自然数的构造与加法的递归定义。

一、基本定义

1. 皮亚诺公理规定存在初始元素0，以及后继函数S(n)。
2. 定义自然数：1 = S(0)，2 = S(S(0))。
3. 加法递归定义：对任意自然数a、b，满足 a + 0 = a；a + S(b) = S(a + b)。

二、证明步骤

1. 将算式中的1替换为定义：1 + 1 = S(0) + S(0)。
2. 应用加法递归定义的第二条（令a = S(0)，b = 0）：S(0) + S(0) = S(S(0) + 0)。
3. 应用加法递归定义的第一条（令a = S(0)）：S(0) + 0 = S(0)。
4. 代入上一步结果：S(S(0) + 0) = S(S(0))。
5. 根据2的定义，S(S(0))即为2。 因此，1 + 1 = 2 得证。

三、适用条件 该证明严格依赖于皮亚诺公理体系及上述加法的递归定义，适用于标准自然数算术系统。

四、常见误区

1. 误认为“1+1=2”是无需证明的公理或经验常识。在数学基础理论中，它是通过定义和公理推导出的定理。
2. 混淆符号与本质。“1”和“2”仅是特定自然数的记号，证明的核心在于后继函数与加法递归规则的逻辑自洽性。
3. 误以为罗素《数学原理》用数百页才证明此结论。实际上该书篇幅用于构建整个数理逻辑底层框架，而非单纯计算1+1。