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

• A、逻辑
• B、自洽
• C、自主
• D、自足