公理化方法
拼音：ɡōnɡ lǐ huà fānɡ fǎ 首字母大写：GLHFF五笔：wc gj wx yy ifc 公理化方法的同义词反义词
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
版权声明：他人将便捷数据网提供的内容与服务用于商业、盈利、广告性目的时，需得注明出处，转载时请附上原文出处链接及本声明。
原文链接：https://www.bian-jie.cn/search/cidian/1/88198614.html