世界难题1+1=?

设Z为自然数集，S(x)表示x的后继函数（对应之前说的x'），+为定义在自然数集Z上的加法运算，且满足以下规则：
 
1. 对于任意a\in Z，a + 0 = a，可记为\forall a\in Z,a + 0 = a。
2. 对于任意a,b\in Z，a + S(b) = S(a + b)，记为\forall a,b\in Z,a + S(b) = S(a + b)。
 
已知1 = S(0)，2 = S(S(0))，计算1 + 1的过程如下：
1 + 1 = S(0) + S(0)
= S(S(0) + 0)
= S(S(0))
= 2