网站首页
词典首页
请输入您要查询的词语:
词语
公理化方法
释义
公理化方法
拼音:gōng lǐ huà fāng fǎ
注音:ㄍㄨㄙ ㄌㄧˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词语解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
随便看
孤嶂
孤帆
孤帏
孤帐
孤干
孤平
孤幼
孤店
孤弱
孤形吊影
孤影
孤彴
孤往
孤征
孤微
孤心
孤忠
孤念
孤怀
孤怯
孤恓
孤恩
孤恩负义
孤恩负德
孤悄
汉语词典收录了463404条汉语词条,基本涵盖了全部常用汉语词语的中英文释义及用法,是汉语学习的有利工具。
Copyright © 2000-2024 Sap9.com All Rights Reserved
更新时间:2026/10/20 15:08:32