公理化方法

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

版权声明:他人将文学素材网提供的内容与服务用于商业、盈利、广告性目的时,需得注明出处,转载时请附上原文出处链接及本声明。

原文链接:https://www.wenxuesucai.com/search/cihai/1/39395464.html

点击加入QQ交流群:{{qqQNum}}