公理化方法
拼音
gōng lǐ huà fāng fǎ
注音
ㄍㄨㄥ ㄌㄧˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
“公理化方法”基本解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
“公理化方法”造句
1.定义了模糊粗糙集合理的补运算，从而利用公理化方法构造出推广了的粗糙集代数。
2.尽管后来的布尔巴基学派的结构数学使公理化方法更上一层楼，但仍然无法克服公理化方法本身的局限性。【ht
3.本文旨在将用于整理学科知识结构的公理化方法引入评价领域，用于基础评价理论的构建。
4.正是这三个原因造成了当时公理化方法传播的停滞。