1
2 + 2 = 2 * 2 (और समान) सिद्ध करें
इस तरह के बयानों का एक पूर्ण औपचारिक Poof आउटपुट 1+2=3, 2+2=2*(1+1)आदि। introuction यदि आप पीनो अंकगणित जानते हैं तो आप शायद इस खंड को छोड़ सकते हैं। यहां बताया गया है कि हम प्राकृतिक संख्याओं को कैसे परिभाषित करते हैं: (Axiom 1) 0 is a number (Axiom 2) If …