网站首页
词典首页
请输入您要查询的词语:
词语
公理化方法
释义
公理化方法
拼音:gōng lǐ huà fāng fǎ
注音:ㄍㄨㄙ ㄌㄧˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
词语解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
随便看
长搀
长搀搀
长撎
长支
长敬
长斋
长斋礼佛
长斋绣佛
长斜
长斧
长方体
长方形
长旓
长日
长旧
长明灯
长星
长星赤口
长春
长春不老
长春子
长春市
长春树
长是
长暮
汉语词典收录了463404条汉语词条,基本涵盖了全部常用汉语词语的中英文释义及用法,是汉语学习的有利工具。
Copyright © 2000-2024 Sap9.com All Rights Reserved
更新时间:2025/6/8 19:02:29