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

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

单项选择题 19世纪初，数学家（）开始将严格的论证引入数学分析，他的《无穷的悖论》一书中包含了许多真知灼见。