首页
热门词典
中文词典
梗流行语
应用下载
汉语词典
汉语字典
成语词典
说文解字
近反义词
书法字典
诗词名句
诗词古文
中文造句
励志名言
首页
-
汉语词典
-
公理化方法
公理化方法
拼音
gōng lǐ huà fāng fǎ
词典解释
从
少数
不加
定义
的
原始
概念
和少数不加
证明
的基
本命
题(
公理
)
出发
,按
特定
演绎推理
规则
推导
出这一
学科
中
其他
命题
(
定理
),并
构成
一个
演绎
系统
的
方法
。
任何
特定的公
理化
系统都
不是
绝对
严格
和
完备
的。
0
纠错
猜你喜欢
僮御
倾没
酒柸
拦洪坝
亵滥
浑捶自扑
彫掞
颇罗
彘卢
应用推荐
凤凰fm客户端
奇幻找茬2
租渔具商户端
西游悟空神话
Royal match
超级冲浪者
吞天异兽录
古城公主中文版
诗词名句
触拨清诗成走笔,淋漓红袖趣传杯。
宋代
王安石
音信断,应是泪珠,滴遍香罗袖
宋代
易祓
联诗得句笑出省,策马涉泥归闭户
宋代
张耒
笑倒江南陶令、未归来。
宋代
赵彦端
相思正倚楼,所寄忽累幅
宋代
陈傅良
泛宅浮家何日了,庄头栽竹已成阴
宋代
叶绍翁
我欲学为农,力耕不逢岁
宋代
赵蕃
幽阁禽雀噪,闲阶草露滋
唐代
武平一
前朝得霜霁,决意唤鸣櫨
宋代
赵蕃
不能先到县,岂待晚归田
宋代
晁说之