λ演算- 维基百科，自由的百科全书

[编辑]. 在lambda演算中有许多方式都可以定义自然数，但最常见的还是邱奇数， 下面是它们的定义：. 0 = λf.λx.x: 1 = λf.λx.

www.google.com.tw