1908年，策梅罗提出公理化集合论，将原本直观的集合概念建立在严格的公理基础之上，解决了第二次数学危机。
A、对
B、错
“三边相等的三角形叫做等边三角形”是（）方式定义。
A、属加种差定义
B、公理化定义
C、关系性定义
D、发生性定义
形式化是数学的基本特征之一，高中数学课程对形式推理的要求是：（）
A、建立严格的形式体系
B、适度形式化
C、以公理化形式呈现
