希爾伯特計劃

希爾伯特計劃是由德國數學家大衛 希爾伯特在1920年代提出的一個數學計劃 。 它是一個關於公理系統相容性的嚴謹證明的一項計劃 。 這個計劃不應該和希爾伯特的二十三個問題混淆 ， 不過這個計劃對數學的發展也有著重要的影響 。 哥德爾不完備定理指出 ， 希爾伯特計劃大多數目標無法實現 。