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

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

单项选择题 罗素悖论引发了数学的第三次危机，它的一个通俗解释就是理发师悖论：在某个城市中有一位理发师，他的广告词是这样写的：“本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对各位表示热诚欢迎！”现在的问题是：如果理发师的胡子长了，他能给自己刮脸吗（）