汉语词典
首页
公理化方法
搜索
公理化方法
gōng lǐ huà fāng fǎ
词语解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
缩写
glhff
公组词
公丁
公上
公不离婆
公中
公主
公举
公义
公之于众
公乘
公买公卖
公了
公事
公事人
公事公办
公事房
公交
公产
公亩
公亮
公人
查看更多"公"开头的词语
今日热门词语
云裾
倾倚
名族
朝霭
燕市
珥笔
留精
竹枝
绳捆索绑
至此
舃卤
节录
闱墨