:
不能为了差异化就给搞复杂了呀,就相当于我让你算1+1=2。你非要这样做(设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









![[表情_比心]](https://img.tapimg.com/market/images/a272560c8c816575cd8af72d0df6bbf1.png)





![[表情_捂脸哭]](https://img.tapimg.com/market/images/83aa452eea88b5c64df710bca367b7e9.png)










