希尔伯特计划 希爾伯特計劃德語Hilbertprogramm是由德國數學家大卫希尔伯特在年代提出的一個數學計畫它是一個關於公理系統相容性的嚴謹證明的一項計划 這個計劃不應該和希尔伯特的个问题混淆不過這個計劃對數學的發展也有著重要的影響 哥德爾不完備定理指出希爾伯特計劃大多數目標無法實現