词典 公理化方法 公理化方法的意思
gōng huà fāng

公理化方法
简体
拼音 gōng lǐ huà fāng fǎ
注音 ㄍㄨㄥ ㄌ一ˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ

公理化方法的意思

公理化方法 [gōng lǐ huà fāng fǎ]

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

公理化方法 引证解释


国语词典

公理化方法 [gōng lǐ huà fāng fǎ]


拓展查询

公理化方法是什么意思 公理化方法读音 怎么读 公理化方法,拼音是gōng lǐ huà fāng fǎ,公理化方法的意思 近义词 反义词 用公理化方法造句子