()最先提出真与可证是两个不同的概念

()最先提出真与可证是两个不同的概念

【单选题】()最先提出真与可证是两个不同的概念,认为可证的一定为真,真的不一定可证。

A、布尔

B、罗素

C、笛卡尔

D、哥德尔

我的答案： D

【判断题】一介逻辑又叫做谓词逻辑,是数理逻辑或现代逻辑的基础。()

我的答案：√

无相关信息