chinese-xinhua 开源字词库
简体整理词头：公理化方法
版本 fe6d6c2e8baa
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
查看完整资料与来源
- 词头
- 公理化方法
- 释义
- 从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
来源：pwxcoo/chinese-xinhua；本站作简体转换、去重与格式整理。 数据说明与许可