公理化方法

gōng lǐ huà fāng fǎ

ㄍㄨㄥㄌㄧˇ ㄏㄨㄚˋ ㄈㄤㄈㄚˇ

返回列表

词语释义

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

词库暂无「公理化方法」的造句例句

公理系统

非公理化方法

公里公力