1+1=2证明过程

因为1+1的后继数是1的后继数的后继数，即3。所以2的后继数是3。根据皮亚诺公理：如果b、c都是自然数a的后继数，那么b=c；可得：1+1=2。皮亚诺公理，也称皮亚诺公设，是数学家皮亚诺提出的关于自然数的五条公理系统。

数学加法计算

加法是基本的四则运算之一，它是指将两个或者两个以上的数、量合起来，变成一个数、量的计算。表达加法的符号为加号“+”。进行加法时以加号将各项连接起来。

加法有几个重要的属性。它是可交换的，这意味着顺序并不重要，它又是相互关联的，这意味着当添加两个以上的数字时，执行加法的顺序并不重要。重复加1与计数相同；加0不改变结果。加法还遵循相关操作（如减法和乘法）。