此题为判断题(对，错)。
形式主义的公理化研究方法是（）。
A、“对象---公理---演绎”方法
B、“假设---演绎”方法
C、“抽象---演绎”方法
D、“归纳---演绎---推理”方法
A.Ⅰ、Ⅲ、Ⅳ
B.Ⅰ、Ⅱ、Ⅲ、Ⅳ
C.Ⅰ、Ⅲ
D.Ⅰ、Ⅱ、Ⅳ
形式化是数学的基本特征之一，高中数学课程对形式推理的要求是：（）
A、建立严格的形式体系
B、适度形式化
C、以公理化形式呈现
