ဟုတ်ကဲ့၊ ဒီမေးခွန်းကို JavaScript ကိုအသုံးပြုပြီး သက်သေပြပါမယ်။ Standard library function တွေမသုံးဘဲ၊ ရိုးရှင်းတဲ့ logic ကိုသုံးပြီး 1+1 = 2 ဖြစ်ကြောင်း proof လုပ်ပြပါမယ်။

// Peano axioms ကို အခြေခံထားတဲ့ နံပါတ်စနစ်ကို အသုံးပြုပါမယ်
const zero = Symbol('zero');
const successor = (n) => ({ prev: n });

// နံပါတ် 1 နဲ့ 2 ကို define လုပ်ပါမယ်
const one = successor(zero);
const two = successor(one);

// ပေါင်းခြင်း function ကို define လုပ်ပါမယ်
function add(a, b) {
    if (b === zero) {
        return a;
    } else {
        return add(successor(a), b.prev);
    }
}

// 1 + 1 ရဲ့ ရလဒ်ကို ရှာပါမယ်
const result = add(one, one);

// ရလဒ်က 2 နဲ့ တူမတူစစ်ဆေးပါမယ်
function isEqual(a, b) {
    if (a === zero && b === zero) {
        return true;
    } else if (a === zero || b === zero) {
        return false;
    } else {
        return isEqual(a.prev, b.prev);
    }
}

// ရလဒ်ကို စစ်ဆေးပြီး ပြသပါမယ်
console.log(isEqual(result, two) ? "1 + 1 = 2 သက်သေပြပြီးပါပြီ" : "သက်သေမပြနိုင်ပါ");

ဒီ code က Peano axioms ကိုအခြေခံထားတဲ့ နံပါတ်စနစ်ကို အသုံးပြုထားပါတယ်။ ဒီနည်းနဲ့ ကျွန်တော်တို့ 0 ကနေစပြီး နောက်တဆင့် (successor) ဆိုတဲ့ concept ကိုသုံးပြီး နံပါတ်တွေကို တည်ဆောက်ထားပါတယ်။

ဒီ proof က 1+1 ဟာ တကယ်ပဲ 2 နဲ့ တူညီကြောင်း သက်သေပြထားပါတယ်။ Standard library functions တွေမသုံးဘဲ၊ အခြေခံ logic နဲ့ recursion ကိုသုံးပြီး တွက်ချက်ထားတာဖြစ်ပါတယ်။