呢。

当然，这里面有一个毛病，在于我们在没有定义好add的前提下，先入为主地认为add(3，0)=3

所以我们不能认为自己就这么简单地构造了add，只能退而求其次地得到以下关系：

add(x，y+1)=su(add(x，y))，这个式子是十分严谨的。

更具体地，要想算出add(x，y+1)，就要知道add(x，0)=x，我们称