哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们：真与可证是两个概念，（ ）。某种意义上，悖论的阴影将永远伴随着我们。