(define zero (lambda(f) (lambda(x)x))) (define (add-1 n) (lambda(f)(lambda(x)(f((n f)x))))) 转载于:https://www.cnblogs.com/luozhonghao/p/9748208.html