（单选题）
哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是（）的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
A逻辑
B自洽
C自主
D自足
正确答案
答案解析
略
相似试题
（填空题）
哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们：真与可证是两个概念（）某种意义上，悖论的阴影将永远伴随着我们。
（简答题）
圆周角定理证明思路如下：将圆周角的两边所处的位置分成三种情况： ①角的一边落在直径上； ②角的两边在某一直径的两侧； ③角的两边在某一直径的同侧。 如图所示。先对情况①进行证明，然后将情况②、③转化为情况①分别进行证明。最后得出圆周角定理对任意圆周角都成立的结论。
（简答题）
圆周角定理证明思路如下：将圆周角的两边所处的位置分成三种情况： ①角的一边落在直径上； ②角的两边在某一直径的两侧； ③角的两边在某一直径的同侧。 如图所示。先对情况①进行证明，然后将情况②、③转化为情况①分别进行证明。最后得出圆周角定理对任意圆周角都成立的结论。
（单选题）
《几何原本》的理论体系并不是完美无缺的，比如，对直线的定义实际上是用一个未知的定义来解释另一个未知的定义，这样的定义不可能在（）中起什么作用。
（单选题）
代数不但讨论正整数、正分数和零，而且讨论负数、虚数和复数。其特点是用（）来表示各种数。
（单选题）
人们运用归纳法，得出对一类现象的某种一般性认识的一种推测性的判断，即猜想，这种思想方法称为（）
（单选题）
人们运用类比法，根据一类事物所具有的某种属性，得出与其类似的事物也具有这种属性的一种推测性的判断，即猜想，这种思想方法称为（）
（简答题）
叙述不完全归纳法的推理形式，并举一个应用不完全归纳法的例子。
（判断题）
如果某一问题存在算法，并进一步构造出这个算法，也不一定能够求出该问题的解。
