国开《数学思想与方法》第四关 形考试题 【题目】哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是( )的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。 自洽 自足 自主 逻辑 试题来源数学思想与方法 查看整套课程试卷 此内容查看价格为0.2金币,请先登录如有问题,请联系微信客服解决!