[交流] 【求助】有人知道怎么利用自然数的定义证明1+1=2吗？

Originally posted by sleeper2 at 2010-03-27 04:34:38:
证明分4步：

1. 定义自然数 1.
2. 定义任意自然数 n 的后继为 n + 1
3. 定义自然数 1 的后继为 2.
4. 由前三条， 我们得到 1＋1 ＝ 2

注：
前两条属于皮亚洛公理。
第3条是人为定义。