【国开(电大)本科《数学思想与方法网上形考期末机考题库】哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们：真与可证是两个概念，（ ）。某种意义上，悖论的阴影将永远伴随着我们。

【国开(电大)本科《数学思想与方法网上形考期末机考题库】哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们：真与可证是两个概念，（ ）。某种意义上，悖论的阴影将永远伴随着我们。
选择一项：
A. 真的不一定可证的，有可能为假
B. 可证的不一定为真，有可能为假
C. 可证的一定是真的，但真的不一定可证
D. 真的一定是可证的，但可证的不一定为真