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

A、逻辑

B、自洽

C、自主

D、自足

相关问题推荐

• 根据原文内容，下列推断错误的一项是：

  A、计算机科学的发展说明没有组合数学就没有计算机科学，没有计算机软件

  B、组合数学随着自己的发晨，将逐步取代传统数学中分析和代数的统治地位

  C、如果中国只是想在软件技术上跟着西方走，而不在基础数学上下功夫，那么中国的软件将一直处于落后的状态

  D、加强数学基础研究，让信息技术的数学基础有足够的实力，是我国成为软件强国的重要办法

  查看答案

• 为避免数学以后再出现类似问题，数学家对集合论的严格性以及数学中的概念构成法和数学论证方法进行逻辑上、哲学上的思考，其目的是力图为整个数学奠定一个坚实的基础。随着对数学基础的深入研究，在数学界产生了数学基础研究的三大学派（）

  A、抽象主义、现实主义、直觉主义

  B、集合主义、抽象主义、形式主义

  C、几何学派、抽象学派、现实学派

  D、逻辑主义、直觉主义、形式主义

  查看答案

• 运筹学为管理人员制定决策提供了（）

  A、定性基础

  B、定量基础

  C、预测和计划

  D、数学基础

  查看答案