Lambda Calculus.
TWO ကို သုံးချင်ရင် TWO(hi)(0)ပေါ့ အဲ့နေရာမှာ multiplication ဆိုတော့ hi နေရာမှာ n ကိုအစားပေးပြီးလုပ်ခိုင်းလိုက်တာ အဲ့တော့ အမြှောက်ရမယ်။ Predecessor Function အနှုတ်ဖို.ကျတော့ n-1 function လိုတယ် သူကို predecessor function လိုခေါ်တယ်သူက တော်တော်ရှုပ်တယ် concept ကတော့ pair တွေဆောက်မယ် ဉပမာ