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

यह लेख एक आधार है। जानकारी जोड़कर इसे बढ़ाने में विकिपीडिया की मदद करें।

कुर्त गाडेल (Kurt Gödel) ने १९३१ में गणितीय तर्क से सम्बन्धित दो प्रमेय प्रस्तुत किये जिन्हें गाडेल के अपूर्णता प्रमेय (Gödel's incompleteness theorems) कहते हैं।