单项选择题
哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是（）的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
A.逻辑
B.自洽
C.自主
D.自足
点击查看答案&解析
相关考题
-
单项选择题
为避免数学以后再出现类似问题，数学家对集合论的严格性以及数学中的概念构成法和数学论证方法进行逻辑上、哲学上的思考，其目的是力图为整个数学奠定一个坚实的基础。随着对数学基础的深入研究，在数学界产生了数学基础研究的三大学派（）
A.抽象主义、现实主义、直觉主义
B.集合主义、抽象主义、形式主义
C.几何学派、抽象学派、现实学派
D.逻辑主义、直觉主义、形式主义 -
单项选择题
罗素悖论引发了数学的第三次危机，它的一个通俗解释就是理发师悖论：在某个城市中有一位理发师，他的广告词是这样写的：“本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对各位表示热诚欢迎！”现在的问题是：如果理发师的胡子长了，他能给自己刮脸吗（）
A.能
B.不能
C.无结果 -
填空题
第三次数学危机产生于十九世纪末和二十世纪初，当时正是数学空前兴旺发达的时期。首先是逻辑的（）促使了数理逻辑这门学科诞生，其中，十九世纪七十年代康托尔创立的（）是产生危机的直接来源。
