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

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

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