真理不是靠理性完全证明的

哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们，真与可证是两个概念。可证的一定是真的，但真的不一定可证。某种意义上，悖论的阴影将永远伴随着我们。无怪乎大数学家外尔发出这样的感叹：“上帝是存在的，因为数学无疑是相容的；魔鬼也是存在的，因为我们不能证明这种相容性。”

我的理解，就是任何系统，都是无法完全自证的，必须有一个前提，必须有一个假说，来保证公理系统的起点，逻辑的起点。所以，真理是存在的，无法被理性完全来证实。