logo - 刷刷题
下载APP
【单选题】

任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。这被称为( )。

A.
哥德尔不完全性定理
B.
哥德尔第一不完全性定理
C.
哥德尔第二不完全性定理
D.
哥德尔第三不完全性定理
举报
参考答案:
参考解析:
.
刷刷题刷刷变学霸
举一反三