Lambda Calculus.
numeral two ကို return ပြန်ပေးရမယ်။ Lambada calculus notation နဲ.ဆို ဒီလိုရမယ် λn.λf.λx.f(nfx) အဲ့ဒီမှာ n ဆိုတာက curch numeral ဖြစ်တယ် ဉပမာ ZERO,ONE သူတိုပေါ့။ f ( n f x) ဆိုတာကိုရှင်းရရင် n(f)(x) ဆိုတာ church numeral n ကို run တာပေါ့ ဉပမာ ONE ကို run ချင်ရင် ONE(f)(x) မဟုတ်လား။ အဲ့တော့ခုနက n(f)(x)