形式化是数学的基本特征之一，高中数学课程对形式推理的要求是：（）
A、建立严格的形式体系
B、适度形式化
C、以公理化形式呈现
形式主义的公理化研究方法是（）。
A、“对象---公理---演绎”方法
B、“假设---演绎”方法
C、“抽象---演绎”方法
D、“归纳---演绎---推理”方法
“三边相等的三角形叫做等边三角形”是（）方式定义。
A、属加种差定义
B、公理化定义
C、关系性定义
D、发生性定义
A.Ⅱ、Ⅲ、Ⅳ
B.Ⅰ、Ⅱ、Ⅲ、Ⅳ
C.Ⅰ、Ⅲ
D.Ⅰ、Ⅱ、Ⅳ
概算的公理化具有的性质有（）。
A、非负性
B、非正性
C、规范性
D、可列可加性
