首页
热门词典
中文词典
梗流行语
应用下载
汉语词典
汉语字典
成语词典
说文解字
近反义词
书法字典
诗词名句
诗词古文
中文造句
励志名言
首页
-
汉语词典
-
公理化方法
公理化方法
拼音
gōng lǐ huà fāng fǎ
词典解释
从
少数
不加
定义
的
原始
概念
和少数不加
证明
的基
本命
题(
公理
)
出发
,按
特定
演绎推理
规则
推导
出这一
学科
中
其他
命题
(
定理
),并
构成
一个
演绎
系统
的
方法
。
任何
特定的公
理化
系统都
不是
绝对
严格
和
完备
的。
0
纠错
猜你喜欢
汙蔑
放假
细致
锌钡白
放逐
术人
公取
曜甲
骈郁
应用推荐
迪安乐园
动漫高校生活模拟器
部落冲突
羽翼排排乐
历史潜游追风
屠夫躲猫猫(最新版)
剧推推
会说话的新闻
诗词名句
万别千差透密机,撼动憨眠拄杖子
宋代
释绍昙
这芋头的端六个。
元代
王哲
岸杼含苍捄,河蒲秀紫台。
唐代
张说
滩声寒更壮,山气旦常昏。
宋代
陆游
反观顺流入,如电亦如射
宋代
朱翌
他乡成故乡
近现代
顾随
我因访故基,步步添思量。
清代
吴伟业
反照入江雷殷然,直疑飞雨堕谈间
宋代
赵蕃
不然短楫弃家去,万顷松江看月明。
宋代
陆游
安得吟身健,长随白日间
宋代
连文凤