Lambda Calculus.
ဒီလိုရမယ် ZERO = f => x => x ZERO ကိုခေါ်သုံးချင်တဲ့အခါ ဒီလိုသုံးရလိမ့်မယ်။ ZERO(f)(x) f ကတော့ လုပ်စေချင်တဲ့ function အဲ့တာက ဘာသဘောလဲဆိုတော့ zero အကြိမ် လမ်းလျောက်မယ်ဆိုပါစို. F ဆိုတာ လမ်းလျောက်မယ်ဆိုတဲ့ function ပဲ။ လမ်းလျောက်မယ်ကို zero numeral ထဲပေးလိုက်ရင် တခါမှလုပ်မှာမဟုတ်ဘူး။ ဘာလို.ဆိုတော့