爱斐堡大学 朗 我最喜欢的数学家哥德尔大叔 那个大叔整理的不完全性定理 成了现在计算机开发的基础 那就是有即使为真也无法证明的数学命题 在这之前我一直想要证明给你看 但是后来我明白了 我们爱是无法完全证明的 因为那是非常完美的真理 《今生是第一次》