纯数学是这么一门学科，在其中我们并不知道我们在谈论什么，或者我们不知道我们所谈论者是否是真。
第 9 讲
真理与定理
Godel Theorem
希尔伯特纲领
梦想破灭
梦想与悖论