数学中的“真”与“可证”是本质相同的概念，可证明的命题一定是真的，真的命题一定是可形式证明的。
举一反三
- 哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们：真与可证是两个概念，()。某种意义上，悖论的阴影将永远伴随着我们。 A: 可证的一定是真的，但真的不一定可证 B: 可证的一定是真的，但真的不一定可证 C: 可证的一定是真的，但真的不一定可证 D: 可证的一定是真的，但真的不一定可证
- ()最先提出真与可证是两个不同的概念,认为可证的一定为真,真的不一定可证
- 如果一组命题P1…Pn都是真的，那么命题Q也一定是真的。这意味着P（）Q。
- （）最先提出真与可证是两个不同的概念，认为可证的一定为真，真的不一定可证。 A: 布尔 B: 罗素 C: 笛卡尔 D: 哥德尔
- 如果命题“p或q”与命题“非p”都是真命题，那么（ ） A: 命题p不一定是假命题 B: 命题q不一定是真命题 C: 命题q一定是真命题 D: 命题p与命题q真假性相同