在丢番图时代(约250)以前的一切代数学都是用()表示的，甚至在十五世纪以前，西欧的代数学几乎都是用()表示。

客观世界具有统一性，数学作为描述客观世界的语言必然也具有统一性。因此，数学的统一性是客观世界统一性的反映，是数学中各个分支固有的内在联系的体现。布尔巴基学派在集合论的基础上建立了三个基本结构：(),然后根据不同的条件，由这三个基本结构交叉产生新的结构。可以说，布尔巴基学派用数学结构显示了数学的统一性。

A.代数结构、序结构和拓扑结构

B.代数结构、序结构和群结构

C.代数结构、几何结构和群结构

D.集合、几何结构和群结构

哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们：真与可证是两个概念，()。某种意义上，悖论的阴影将永远伴随着我们。

A.可证的一定是真的，但真的不一定可证

B.可证的一定是真的，但真的不一定可证

C.可证的一定是真的，但真的不一定可证

D.可证的一定是真的，但真的不一定可证

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

A.逻辑

B.自洽

C.自主

D.自足

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

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

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

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

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