λ演算- 維基百科，自由的百科全書 - Wikipedia

[編輯]. 在lambda演算中有許多方式都可以定義自然數，但最常見的還是邱奇數， 下面是它們的定義：. 0 = λf.λx.x: 1 = λf.λx.

www.google.com.tw