公理化方法

词语 公理化方法
公理化方法的意思,近义词 从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
工具链接
CopyRight©2022 湘ICP备2024058977号-1  百乐品查询网  All Rights Reserved  

联系方式: bailepinz@gmail.com