Gödel's incompleteness theorems
奧地利數學家库尔特·哥德尔（）在1930年證明了哥德尔不完备定理（），粉碎了希爾伯特的夢想。