::::lambda演算中的算术.在lambda演算中有许多方式都可以定义自然数，但最常见的还是邱奇数，下面是它们的定义：以此类推。直观地说，lambda演算中的数字n就是一个把函数f作为参数并以f的n次幂为返回值的函数。换句话说，邱奇整数是一个高阶函数-- 以单一参数函数f为参数，返回另一个单一参数的函数。(注意在邱奇原来的lambda演算中，lambda表达式的形式参数在函数体中至少出现一次，这使得我们无法像上面那样定义0)在邱奇整数定义的基础上，我们可以定义一个后继函数，它以n为参数，返回