[单选题]【国家开放大学题目】哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是( )的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
青书学堂题库
|
2023-12-31 01:35:52
|
18
[单选题]【国家开放大学题目】哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是( )的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。

A.自洽
B.自足
C.自主
D.逻辑
查看答案

国家开放大学

形成性考核

您可能感兴趣的试题
TOP