Lambda Calculus.
1အတွက်ဆိုရင် (0,1) ပေါ့ 2 ဆိုရင် (1,2) အဲ့ထဲ့ကမှ first ဖြစ်တဲ့1 ကိုယူမယ် အဲ့လိုစဉ်းစားတာ။ ဒီလိုရမယ် zero အတွက်ဆိုရင်တော့ predecessor က zero ပဲပြန်မယ်။ let PREDECESSOR = n => f => x => n(g => h => h(g(f)))(_ => x)(u => u); ှ ဒါဆို အနှုတ်ကို ဒီလိုရေးလို.ရပြီ ခုနက အပေါင်းတုန်းက စဉ်းစားသလိုပဲပေါ့ Let