新都首页
词典首页
请输入您要查询的词语:
词语
公理化方法
释义
gōng lǐ huà/huā fāng fǎ
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
随便看
养儿代老,积谷防饥
养儿备老
养儿待老,积谷防饥
养儿防老
养儿防老,积谷防饥
养全
养兵
养兵千日,用兵一时
养兵千日,用在一时
养兵千日,用在一朝
养养
养内
养军
养军千日,用军一时
养军千日,用在一时
养军千日,用在一朝
养分
养力
养力蓄锐
养劲
养劳
养势
养勇
养募
养化
汉语词典收录380580条汉语词语,以字带词,兼具字典、语文词典和百科词典功能,基本涵盖了全部常用词语的释义及用法,是您工作、学习的好帮手。
Copyright © 2000-2024 Newdu.com.com All Rights Reserved
更新时间:2026/2/14 1:19:47