此條目没有列出任何参考或来源。 (2018年1月10日) 維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。 |
希爾伯特第二問題,是希爾伯特的23個問題之一,即關於一個公理系統相容性的問題,也就是判定一個公理系統內的所命題是彼此相容無矛盾的,希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性。
奧地利數學家库尔特·哥德尔(Kurt Friedrich Gödel)在1930年證明了哥德尔不完备定理(Gödel's incompleteness theorems),粉碎了希爾伯特的夢想。
这是一篇关于希爾伯特的23個問題的小作品。您可以通过编辑或修订扩充其内容。 |