希尔伯特计划

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