组词
成语
单词
笔顺
近义
反义
公理化方法
词语
公理化方法
释义
gōng lǐ huà/huā fāng fǎ
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
同类型查询
墨荔枝(宋·释居简)
繇来曲(明末清初·屈大均)
寿丞相 其一(宋·吴势卿)
菩萨蛮 其二(宋·王安中)
孟夫子生生亭赋(唐·卢仝)
扈从出京(明·王绂)
坒的笔顺
送治中杨司直(宋·袁燮)
除夕家宴喜弟侄远至(明·严嵩)
邵伯堰下王君玉饯王仲仪赴渭州经略席上命赋(宋·梅尧臣)
晚泊荻港(明·童轩)
行抵代州作(清·张晋)
沐组词
会景堂(宋·鲜于侁)
松坎山行(近现代·魏幼禽)
金缕曲(近现代·龙榆生)
最新发布
“不求助于”例句
06-23
“foussa”的英英意思
06-20
“Equal Partition”缩略
07-01
“腹足类”例句
06-22
“coital”的英英意思
06-21
“humoristic”的英英意思
06-20
精选推荐
题范秀才万卷堂(宋·陈傅良)
荒城(宋·赵葵)
石钟山拜水师昭忠祠坐芸芍堂(清·张之洞)
扫墓的近义词
freeing
菩萨蛮(清·孙云凤)
词典目录
字典查询排行榜
词典查询排行榜
康熙字典查询排行榜
文言字典查询排行榜
英汉查询排行榜
汉英查询排行榜
英英查询排行榜
词组查询排行榜
用法查询排行榜
写作查询排行榜
例句查询排行榜
法汉查询排行榜
德汉查询排行榜
日汉查询排行榜
俄汉查询排行榜
韩汉查询排行榜
书法查询排行榜
典故查询排行榜
缩写查询排行榜
百科查询排行榜
经管查询排行榜
名言查询排行榜
俗语查询排行榜
谜语查询排行榜
常识查询排行榜
字帖查询排行榜
俚语查询排行榜
字体查询排行榜
文学鉴赏查询排行榜
法律词典查询排行榜
诗词库查询排行榜
成语查询排行榜
组词查询排行榜
1
河船口占八首(明·林弼)
2
永遇乐 扬州除夕,和竹坨韵(清·沈岸登)
3
齐天乐 其四 湖上即席分韵得羽字(宋·史达祖)
4
妙龄的反义词
5
一般花下饮一盏(宋·徐积)
6
斋居独坐寄三江(明·顾清)
7
赠寇京兆(明·严嵩)
8
岁朝轿中伊轧声类橹舟因感旧游(宋·王志道)
9
次韵向宪见赠三首(宋·洪适)
10
寄余复婴(元末明初·蓝仁)
MORE+
全部分类
字典
(20792)
词典
(380519)
康熙字典
(48647)
文言字典
(3836)
英汉
(38626)
汉英
(407106)
英英
(278997)
词组
(20095)
用法
(2164)
写作
(19437)
例句
(563203)
法汉
(102979)
德汉
(94446)
日汉
(406782)
俄汉
(239214)
韩汉
(58270)
书法
(0)
典故
(14644)
缩写
(1196106)
百科
(0)
经管
(0)
名言
(0)
俗语
(0)
谜语
(0)
常识
(0)
字帖
(0)
俚语
(0)
字体
(0)
文学鉴赏
(0)
法律词典
(0)
诗词库
(0)
成语
(49841)