哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是（）的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
A:逻辑
B:自洽
C:自主
D:自足
出自：国家开放大学《数学思想与方法》
提示：
同一【IP】的非会员用户每天可免费获取10次答案
收藏本站【zk.995w.com】，下次访问不迷路
本站试题总数:【10223982】个 (题库试题定时更新)