网站首页
词典首页
请输入您要查询的词语:
词语
公理化方法
释义
公理化方法
拼音:gōng lǐ huà fāng fǎ
注音:ㄍㄨㄙ ㄌㄧˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词语解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
随便看
重三叠四
重三译
重三迭四
重世
重业
重丧
重举
重义
重义轻生
重义轻财
重乔
重九
重九登高
重九译
重乱
重事
重于泰山
重云
重五
重亢
重亲
重人
重介
重仞
重代
汉语词典收录了463404条汉语词条,基本涵盖了全部常用汉语词语的中英文释义及用法,是汉语学习的有利工具。
Copyright © 2000-2024 Sap9.com All Rights Reserved
更新时间:2026/5/7 1:22:57