首页
字典
词典
成语
古诗
国学
百家姓
中医文化
推荐词语
• 本实
• 本师
• 本生灯
• 本生
• 本身
• 本赏
• 本山
• 本穑
• 本色
• 本嗓
• 本瑞
• 本日
• 本任
• 本人
• 本然
查词语
搜索
热门搜索:
代管
代官
代谷
代购
代沟
代工
代耕
代电
代邸
代德
公理化方法
gōng lǐ huà fāng fǎ
拼 音:
gōng lǐ huà fāng fǎ
注 音:
ㄍㄨㄙ ㄌㄧˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ
繁体字:
基本解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。