公理化方法是什么意思
词条:『公理化方法』 |
以上是公理化方法的词条读音等信息,下面是公理化方法的意思在词典中的详细解释。
◎ 详细解释
公理化方法
公理化方法
拼音: gōng lǐ huà fāng fǎ
注音: ㄍㄨㄙ ㄌㄧˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词条: 公理化方法
详细解释:
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。