查词语
查词语

公理化方法

拼音:gōng lǐ huà fāng fǎ

注音:ㄍㄨㄙ ㄌㄧˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ

繁体:

基本解释

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

推荐词语

©2019 学门教育网 版权所有 鲁ICP备19034508号-2

电脑版