数学家、数理逻辑先驱（）写了一部名为《算术基础》的专著，内容是构建以集合论作为整个算术的基础。

数学家（）于19世纪40年代用著名的“ε-δ”语言系统建立了分析的严格基础。A.黎曼B.康托尔C.柯西D.魏尔...

单项选择题数学家（）于19世纪40年代用著名的“ε-δ”语言系统建立了分析的严格基础。

形式主义学派的代表人物是荷兰数学家布劳威尔。

判断题形式主义学派的代表人物是荷兰数学家布劳威尔。

第三次数学危机与涉及数学基础的罗素悖论有关。

判断题第三次数学危机与涉及数学基础的罗素悖论有关。