单项选择题 形式主义学派的代表人物（）认为逻辑具有先验的真理性，主张通过逻辑的相容性辩护数学的真理性和合法性。

单项选择题 欧几里得对部分、宽度（）没有解释致使缺少概念定义。

单项选择题 第三次数学危机产生于十九世纪末和二十世纪初，十九世纪七十年代康托尔创立的（）是产生危机的直接来源。