首页
热门词典
中文词典
梗流行语
应用下载
汉语词典
汉语字典
成语词典
说文解字
近反义词
书法字典
诗词名句
诗词古文
中文造句
励志名言
首页
-
汉语词典
-
公理化方法
公理化方法
拼音
gōng lǐ huà fāng fǎ
词典解释
从
少数
不加
定义
的
原始
概念
和少数不加
证明
的基
本命
题(
公理
)
出发
,按
特定
演绎推理
规则
推导
出这一
学科
中
其他
命题
(
定理
),并
构成
一个
演绎
系统
的
方法
。
任何
特定的公
理化
系统都
不是
绝对
严格
和
完备
的。
0
纠错
猜你喜欢
升合
灵懋
零头
此中三昧
支蔓
氢氧化钙
胶密
工具钢
香片
应用推荐
双人配配乐
火箭筒对轰
乐本平台
活色生香
可可梦幻屋最新版
火山小岛
猫和鬼魂手游
狙击突击队
诗词名句
饱经世事常高枕,惯见人情不署门。
宋代
陆游
客欢我怡然,此戒何妨持
宋代
陈造
取适琴将酒,忘名牧与樵
唐代
李商隐
散花天上女,拨草道中人
宋代
葛天民
可怜濮水流,一叶泛庄子
唐代
齐己
落砧何曾白纸湿,放箸未觉金盘空。
唐代
杜甫
清虚冷淡神仙事,笑名场、多少尘埃。
宋代
张炎
羽翼不自有,相追力难任
唐代
孟郊
酬恩有何力,只弃一毛微。
唐代
吕温
浓云急雨洊雷电,不待羯鼓花奴催
宋代
仇远