برنامه هیلبرت

برای دیگر کاربردها، هیلبرت (ابهام‌زدایی) را ببینید.

برنامهٔ هیلبرت (Hilbert's program) که به وسیلهٔ داوید هیلبرت در دههٔ ۱۹۲۰ (م) فرمول‌بندی شد، بنابود به بیان صوری (formal) همهٔ نظریّه‌های موجود در آن زمان به شکل یک مجموعهٔ متناهی از اصول موضوع پرداخته، و نیز براهینی ارائه نماید که آن اصول با هم سازگار است.

قضایای عدم تمامیّت گُدِل

گدل نشان‌داد که دست‌یابی به اغلب اهداف مورد پی‌گیری در برنامهٔ هیلبرت غیر ممکن است، یا حدّاقل، چنان‌چه به آشکارترین صورت خود در نظر گرفته شوند، آن‌گونه خواهد بود.