以下试题来自:国家开放大学(数学思想与方法)题库

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

A.逻辑
B.自洽
C.自主
D.自足

你可能?#34892;?#36259;的试题