单项选择题
数学家、数理逻辑先驱()写了一部名为《算术基础》的专著,内容是构建以集合论作为整个算术的基础。
A.罗素B.弗雷格C.策梅洛D.康托尔
单项选择题 数学家()于19世纪40年代用著名的“ε-δ”语言系统建立了分析的严格基础。
判断题 形式主义学派的代表人物是荷兰数学家布劳威尔。
判断题 第三次数学危机与涉及数学基础的罗素悖论有关。