1+1=2证明过程详解如下：
1+1=2证明过程：因为1+1的后继数是1的后继数的后继数，即3。所以2的后继数是3。根据皮亚诺公理：如果b、c都是自然数a的后继数，那么b=c；可得：1+1=2。
运算介绍：
运算，数学上，运算是一种行为，通过已知量的可能的组合，获得新的量。运算的本质是集合之间的映射。一般说来，运算都指代数运算，它是集合中的一种对应。对于集合A中的一对按次序取出的元素a、b，有集合A中唯一确定的第三个元素c和它们对应，叫做集合A中定义了一种运算。
由这个运算可以得出两个运算，就是把a、b中的一个当作所求的，而把c当作已知的，这样得出的运算，叫做原来运算的逆运算。例如，加法是已知a、b，求a+b=c的运算，那么已知a及c，求b的运算，或者已知b及c求a的运算，就是加法的逆运算，叫做减法。
释义：
根据数学规则，对量(或数)进行代换或变换求出表达式结果的过程。它是数学研究的主要内容，数学就是研究量及其运算、图形及其变换的一门学科。
数的最基本的运算，是四则运算[算术运算]即加、减、乘、除四种运算。一个数自乘若干次，称为乘方运算;一个数开n次方(n是正整数)，称为开方运算。四则运算连同乘方、开方运算，统称代数运算。
在高等数学中，除了代数运算以外，还有极限运算、求导数、求积分等运算，其中最基本的运算，是极限运算，与极限有关的运算称为分析运算。每种运算都有各自所适合的运算法则，例如结合律、交换律，分配律等。运算的中文原义，是搬运算筹或拨动算珠，现在已泛指数学中所进行的任何一种变换。
减法：
减法使用的时候在两个项之间是减号，结果用等号表示。还有一些情况下，减法是“需要理解”的，即使没有任何符号出现：两个数字的列，较小的数字用红色表示，通常表示列中的较小的数字是要减去的，与下面的区别，在一行下面。这在会计上很常见。从形式上看，被减去的数被称为减数，而减去它的数被减数。