Lambda Calculus.
လို.ဆိုရမယ်။ ဉပမာ မြန်မာလို တစ်လို.ရေးပေမဲ့ English မှာကျတော့ one မဟုတ်လား။ တစ်လို.ဆိုဆို one လို.ရေးရေး အဓိပ္ပာယ်ကတော့ ဂဏာန်း နံပါတ် ၁ ကို ကိုယ်စားပြုတယ်ပေါ့ ။ ဒီသဘောကို encoding လို.ဆိုရမယ်။ ဒါကအရေးကြီးတယ်။ Church Numeral Church numeral ဆိုတာ number တွေကို function တွေနဲ. Encode လုပ်တယ်