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

科目名称：数学思想与方法

试卷号：11863

题型：判断题

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

选项：A. v B. x

需要1积分查看

答案：A. v