单项选择题
A.形式化 B.科学化 C.系统化 D.模型化
A.一般定义和公理 B.特定定义和概念 C.特殊概念和公理 D.初始概念和公理
A.以算为主、逻辑演绎 B.演绎为主、推理证明 C.模型计算为主、几何作画为主 D.模型计算、几何证明