1
2 + 2 = 2 * 2 (এবং অনুরূপ) প্রমাণ করুন
আউটপুট যেমন ধরনের বিবৃতি একটি পূর্ণ আনুষ্ঠানিক সমকামী 1+2=3, 2+2=2*(1+1)ইত্যাদি Introuction আপনি যদি পেনো অ্যারিমেটিক জানেন তবে আপনি সম্ভবত এই বিভাগটি এড়িয়ে যেতে পারেন। প্রাকৃতিক সংখ্যাগুলি আমরা কীভাবে সংজ্ঞায়িত করব তা এখানে: (Axiom 1) 0 is a number (Axiom 2) If `x` is a number, the `S(x)`, the successor of …