词条释义
公理化方法
这里整理了当前词语的释义内容,也保留了继续搜索和相关词汇入口,方便你顺着往下查。
查看提示
- 如果你想确认词语在不同语境下的含义,可以顺手看底部相关词汇。
- 遇到近义表达时,继续搜索会更容易找到更贴切的解释。
- 这页适合快速查阅,写作或学习时可以随手打开辅助参考。
词语解释
以下内容为当前词条的释义整理。
gōng lǐ huà/huā fāng fǎ
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。