国开《数学思想与方法》第四关

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

自洽

自足

自主

逻辑

试题来源数学思想与方法

查看整套课程试卷

此内容查看价格为0.2金币,请先
如有问题,请联系微信客服解决!

社交账号快速登录

微信扫一扫关注
如已关注,请回复“登录”二字获取验证码