首页
字典
词典
成语
古诗
国学
百家姓
中医文化
推荐词语
• 断瓦残垣
• 断饨
• 断剸
• 断屠月
• 断屠日
• 断屠
• 断头香
• 断头台
• 断头路
• 断头将军
• 断头话
• 断头鬼
• 断头
• 断碎
• 断送
查词语
搜索
热门搜索:
春红
春恨
春和景明
春和
春旱
春寒料峭
春寒
春国
春桂
春柜
公理化方法
gōng lǐ huà fāng fǎ
拼 音:
gōng lǐ huà fāng fǎ
注 音:
ㄍㄨㄙ ㄌㄧˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
繁体字:
基本解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。