应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

Znn3bq.jpeg
小木虫论坛-学术科研互动平台 » 学术交流区 » 论文投稿 » 论文写作 » 论文中的定理和引理的区别
汕头大学海洋科学接受调剂
171/1返回列表
查看: 5169  |  回复: 16
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

qd_huqiang

禁虫 (著名写手)
本帖内容被屏蔽

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:

» 抢金币啦！回帖就可以得到:

查看全部散金贴
1楼 2013-03-31 21:45:15
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
回帖支持 ( 显示支持度最高的前 50 名 )

userhung

禁虫 (文学泰斗)
★
qd_huqiang(金币+1): 谢谢参与
定义（definition）、公理（axiom）、定理（theorem）、推论（corollary）、命题（proposition）、引理（lemma）之间的相互关系基本如下。

首先、定义和公理是任何理论的基础，定义解决了概念的范畴，公理使得理论能够被人的理性所接受。

其次、定理和命题就是在定义和公理的基础上通过理性的加工使得理论的再延伸，我认为它们的区别主要在于，定理的理论高度比命题高些，定理主要是描述各定义（范畴）间的逻辑关系，命题一般描述的是某种对应关系（非范畴性的）。而推论就是某一定理的附属品，是该定理的简单应用。

最后、引理就是在证明某一定理时所必须用到的其它定理。而在一般情况下，就像前面所提到的定理的证明是依赖于定义和公理的。
赞一下(1人) 回复此楼
7楼2013-03-31 22:05:27
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

落花剑雨

木虫之王 (文学泰斗)
★
qd_huqiang(金币+1): 谢谢参与
呃，祝福~~~
回复此楼
6楼2013-03-31 22:00:34
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

々暧-〃

版主 (文学泰斗)
★
qd_huqiang(金币+1): 谢谢参与
祝福祝福~~~~~~
回复此楼
12楼2013-03-31 22:44:09
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

zhaodan911

金虫 (小有名气)
★
qd_huqiang(金币+1): 谢谢参与
相当不错！
回复此楼
15楼2013-04-01 00:08:59
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
kiss200855372楼
2013-03-31 21:51  
qd_huqiang(金币+1): 谢谢参与
neu2343楼
2013-03-31 21:51  
qd_huqiang(金币+1): 谢谢参与
ych7794楼
2013-03-31 21:56  
qd_huqiang(金币+1): 谢谢参与
9108839745楼
2013-03-31 21:59  
qd_huqiang(金币+1): 谢谢参与
huigoo8楼
2013-03-31 22:05  
qd_huqiang(金币+1): 谢谢参与
readytogo9楼
2013-03-31 22:05  
qd_huqiang(金币+1): 谢谢参与
失落的豇豆10楼
2013-03-31 22:11  
qd_huqiang(金币+1): 谢谢参与
Amaximan11楼
2013-03-31 22:32  
qd_huqiang(金币+1): 谢谢参与
mvpyqz13楼
2013-03-31 23:08  
qd_huqiang(金币+1): 谢谢参与
~ [ 发自手机版 http://muchong.com/3g ]
yingying158814楼
2013-03-31 23:14  
qd_huqiang(金币+1): 谢谢参与
yanwuliaorao16楼
2013-04-01 00:30  
qd_huqiang(金币+1): 谢谢参与
happyzju17楼
2013-04-01 20:01  
相关版块跳转 我要订阅楼主 qd_huqiang 的主题更新
171/1返回列表
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 327求调剂 +23 Xxjc1107. 2026-04-13 25/1250 2026-04-14 18:48 by 逍遥三郎
[考研] 考研调剂 +13 长弓傲 2026-04-13 14/700 2026-04-14 14:44 by zs92450
[考研] 085408光电信息工程专硕355一志愿长春光机所调剂 +6 王ymaa 2026-04-13 13/650 2026-04-14 11:33 by 王ymaa
[考研] 245求调剂 +6 冰糖橘?汽水 2026-04-13 10/500 2026-04-14 10:49 by jyl0317
[考研] 农学0904 312求调剂 +4 Say Never 2026-04-11 4/200 2026-04-14 09:10 by zs92450
[考研] 332求调剂 +15 蕉蕉123 2026-04-10 15/750 2026-04-13 23:12 by pies112
[考研] 290求调剂 +18 柯淮然 2026-04-12 20/1000 2026-04-13 12:56 by cyh—315
[考研] 326求调剂 +6 Shansyn 2026-04-10 6/300 2026-04-12 09:46 by hammer3
[考研] 22408调剂315分 +3 zhuangyan123 2026-04-09 3/150 2026-04-12 00:25 by 蓝云思雨
[考研] 工科273调剂 +6 X1999 2026-04-09 7/350 2026-04-11 10:23 by zhq0425
[考研] 293求调剂 +6 勇远库爱314 2026-04-08 6/300 2026-04-11 10:08 by zhq0425
[考研] 调剂 +12 卷卷卷心菜_ 2026-04-09 13/650 2026-04-10 22:36 by Ftglcn90
[考研] 083200 305分 求二轮调剂 不接受跨专业 +9 Claireyyyy 2026-04-09 10/500 2026-04-10 21:21 by Claireyyyy
[考研] 22408 366分，本科211，一志愿西工大 +4 Rubt 2026-04-09 4/200 2026-04-10 19:51 by chemisry
[考研] 282，电气工程专业，求调剂，不挑专业 +9 jggshjkkm 2026-04-10 9/450 2026-04-10 14:55 by 逆水乘风
[考研] 070300化学 求调剂 +13 73372112 2026-04-08 13/650 2026-04-09 20:22 by maddjdld
[考研] 材料专硕(0856) 339分求调剂 +9 哈哈哈鹅哈哈哈 2026-04-09 10/500 2026-04-09 20:01 by Orcid
[考研] 一志愿中科院105500专业总分315求调剂 +6 lallalh 2026-04-09 7/350 2026-04-09 17:51 by lallalh
[考研] 化学工程与技术专业一志愿哈工程 291分B区 国家级大创负责人 有一作论文 +13 Emmy~ 2026-04-09 13/650 2026-04-09 14:47 by only周
[考研] 考研求调剂 +4 雯??? 2026-04-08 4/200 2026-04-08 21:44 by 土木硕士招生
信息提示
关闭
请填处理意见
关闭