首页 > 词典 > 公理化方法

公理化方法

ɡōnɡ lǐ huà fānɡ fǎ

词语解释

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

为您提供最新的汉语词典查询服务，目前收录了新华词典、现代汉语词典的所有的词语，词语会根据实际情况不断增加和修订，始终保持最新。

您可以输入任何词语中的部分文字或者词语，如：高，高兴，只要符合查询条件的词语都会显示出来。感谢您的使用。