ဢၼ်ၶဝ်ႈပိူင်တင်ႇၸိူဝ်း ၼင်ႇ Rudolf Carnap၊ Alfred Tarski နှင့် Haskell Curry ၶဝ်ႁၼ်ဝႃႈ ပၢႆးၼပ်ႉ ပဵၼ်လွင်ႈတႅတ်ႈထတ်း ပိူင်လၵ်းသူတ်ႇ axiom ဢၼ်ၶဝ်ႈပိူင်တြႃး ။