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