希爾伯特第二問題,即關於一個公理系統相容性的問題,也就是判定一個公理系統內的所命題是彼此相容無矛盾的,希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性
哥德爾在1930年證明了哥德爾不完備定理,粉碎了希爾伯特的夢想
页面分类: 數學小作品