希爾伯特第二問題 希爾伯特第二問題是希爾伯特的個問題之一即關於一個公理系統相容性的問題也就是判定一個公理系統內的所命題是彼此相容無矛盾的希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性 奧地利數學家库尔特哥德尔Kurt Friedrich Gödel在年證明了哥德尔不完备定理Gödels incompleteness theorems粉碎了希爾伯特的夢想