哥德尔不完备定理

我把哥德尔的论文（On formally undecidable propositions of Principia Mathematica and related systems I, 1931）找出来读了。听了几次课，适应了一下思路，所以感觉不太难懂。

这篇论文我已经惦记很久了。以前看完尼采的书，我还兴奋的跑去问过Krystian。现在算是还了一桩心愿。