汉语辞海查询

词汇	公理化方法
释义	gōng lǐ huà/huā fāng fǎ 从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。

本汉语辞海收录380580条汉语词汇。，基本涵盖了全部的常用词语，是目前收录最多的汉语词典之一。可浏览全部内容，也可按词语“词首”、“词中”、“词尾”及“释义”进行查询，是您工作、学习的好帮手。