此條目沒有列出任何參考或來源。 (2018年1月10日) 維基百科所有的內容都應該可供查證。請協助補充可靠來源以改善這篇條目。無法查證的內容可能會因為異議提出而被移除。 |
希爾伯特第二問題,是希爾伯特的23個問題之一,即關於一個公理系統相容性的問題,也就是判定一個公理系統內的所命題是彼此相容無矛盾的,希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性。
奧地利數學家庫爾特·哥德爾(Kurt Friedrich Gödel)在1930年證明了哥德爾不完備定理(Gödel's incompleteness theorems),粉碎了希爾伯特的夢想。
這是一篇關於希爾伯特的23個問題的小作品。您可以透過編輯或修訂擴充其內容。 |