در منطق ریاضی، قضایای ناتمامیت گودل، توسط کورت گودل در سال ۱۹۳۱ ثابت شدند. این قضایا در منطق ریاضی و فلسفهٔ ریاضی از اهمیت بسزایی برخوردارند و دلیل اصلی این اهمیت، رد برنامهٔ هیلبرت برای یافتن مجموعه ای کامل و سازگار از اصول موضوع برای کل ریاضیات است.قضیهٔ اول ناتمامیت گودل، شاید مشهورترین نتیجه در منطق ریاضیات باشد، که بیان می کند:در این جا، «نظریه» به معنای تعدادی قواعد استنتاج، تعدادی علائم و م...
