Gödel's theorem
गोडेल की प्रमेय गणितशास्त्री कर्ट गोडेल द्वारा विकसित कई प्रमेयों में से किसी को भी संदर्भित कर सकती हैः गोडेल की अपूर्णता प्रमेय गोडेल की पूर्णता प्रमेय गोडेल की गति-अप प्रमेय गोडेल का ऑन्टोलॉजिकल प्रमाण भी देखें।