词条 | 公理化方法 |
释义 | 条目公理化方法拼音gōng lǐ huà fāng fǎ 注音ㄍㄨㄙ ㄌㄧˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ 公理化方法 词语解释解释 从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。 公理化方法 网络解释公理化方法 |
随便看 |
超级辞典收录超过八万个汉字,二十万个词语,基本涵盖了全部常用汉语的释义及用法,是汉语学习的有利工具。