形式的公理化方法包括（）

[单选题]形式主义的公理化研究方法是（）。A．“对象---公理---演绎”方法B．“假设---演绎”方法C．“抽象---演绎”方法D．“归纳---演绎---推理”方法

[主观题]简述公理化方法的特点。

[问答题] 什么是公理化方法？公理化系统遵循的基本原则是什么？

[多选题]概算的公理化具有( )性质。A.非负性B.非正性C.规范性D.可列可加性E.守恒性

[多选题]概算的公理化具有( )性质。A.非负性B.非正性C.规范性D.可列可加性E.守恒性

[多选题]概算的公理化具有( )性质。A.非负性B.非正性C.规范性D.可列可加性E.守恒性

[填空题] 由公理化方法得到的逻辑演绎体系称为（）

[多选题] 公理化系统必须同时满足：（）A . 同一律B . 不矛盾律C . 完整性D . 独立性E . 排中律

[问答题] 公理化体系应满足哪些条件？

[填空题] 公理化方法在（）和（）中已得到辉煌的体现