/p>

su和ze两个基本函数组成了我们要的ne，完美。

如果栗子再复杂一点，我们想要一个加法器add，add(x，y)=x+y，怎么用那三种基本函数组合？

也很简单，从具体输入入手：

add(3，2)=su(add(3，1))=su(su(add(3，0)))=su(su(3))

似乎只需要组合多个后继函数就可以了