गोडेल की अपूर्णता प्रमेय

रिचर्ड का विरोधाभास: अनंत दशमलव और "विकर्ण तर्क" द्वारा उत्पन्न अंतर्विरोध