Lambda Calculus.
အရင်အပိုင်းတုန်းက Successor အကြောင်းရှင်းသွားတယ် Successor ဆိုတာ church numeral n ပေးလိုက်ရင် n+1 ပြန်ပေးတဲ့ကောင်ပေါ့။ Addition Successor ကိုသုံးပြီးတော့ church number ၂ခုကိုပေါင်းလို.ရတယ်။ ဉပမာ m+n ဆိုပါစို. တကယ်က m ကို +1 ပေါင်း n ကြိမ်တိုးတာလို.ယူဆတာ။ ဉပမာ 3+2 ဆိုပါစို. ဒါဆို ဒီလို စဉ်းစားတာ