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

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

A.黎曼
B.康托尔
C.柯西
D.魏尔斯特拉斯

点击查看答案&解析

形式主义学派的代表人物是荷兰数学家布劳威尔。 点击查看答案&解析