我们必须知道，我们必将知道。
你听到的是1930年，希尔伯特在他退休时演讲的最后六个单词，也是鼓舞一代数学家的六个单词。尽管当时第三次数学危机仍然阴魂不散，但他们坚信，数学大厦的基础是坚实的。他们也坚信，任何数学真理，只要通过一代又一代人的不断努力，都能用逻辑的推理将其整合到数学的大厦中。
这是何等的气魄！这是何等的梦想！
但就在演讲前夕，他的同胞哥德尔，作出了一个断言，彻底打碎了这个梦。........
若：p是小于x的最大素数，
则：1/2*...*（p-2）/p>2/xx,
证明：偶数xx存在素对。