关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2022-06-11 （）最先提出真与可证是两个不同的概念，认为可证的一定为真，真的不一定可证。 A: 布尔 B: 罗素 C: 笛卡尔 D: 哥德尔 （）最先提出真与可证是两个不同的概念，认为可证的一定为真，真的不一定可证。A: 布尔B: 罗素C: 笛卡尔D: 哥德尔 答案： 查看 举一反三 ()最先提出真与可证是两个不同的概念,认为可证的一定为真,真的不一定可证 哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们：真与可证是两个概念，()。某种意义上，悖论的阴影将永远伴随着我们。 A: 可证的一定是真的，但真的不一定可证 B: 可证的一定是真的，但真的不一定可证 C: 可证的一定是真的，但真的不一定可证 D: 可证的一定是真的，但真的不一定可证 哥德尔认为“真”和“可证”是相同的概念 哥德尔认为“真”和“可证”是相同的概念。（）（1.0分） 数学中的“真”与“可证”是本质相同的概念，可证明的命题一定是真的，真的命题一定是可形式证明的。
