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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 学术交流区 » 论文投稿 » 论文写作 » 论文中的定理和引理的区别
51/1返回列表
查看: 5399  |  回复: 16
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

qd_huqiang

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

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2013-03-31 21:45:15
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

userhung

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

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

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

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

々暧-〃

版主 (文学泰斗)
★
qd_huqiang(金币+1): 谢谢参与
祝福祝福~~~~~~
回复此楼
12楼2013-03-31 22:44:09
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
mvpyqz13楼
2013-03-31 23:08  
qd_huqiang(金币+1): 谢谢参与
~ [ 发自手机版 http://muchong.com/3g ]
查看全部 17 个回答
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[论文投稿] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3 uKOSCocCb6Fm 2026-11-12 6/300 2026-11-14 08:59 by dHydBGAkDh6v
[基金申请] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +3 XJXMuRjD7cK7 2026-11-13 3/150 2026-11-13 23:37 by 6PrO1XyZ5URF
[公派出国] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +4 G2rhSvqvhNzl 2026-11-10 5/250 2026-11-13 11:37 by Equinoxhua
[公派出国] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +4 cdqGD6ftHmbl 2026-11-11 5/250 2026-11-12 12:28 by ECLTXnJnRSXf
[硕博家园] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +3 TgvkbZZl9tqB 2026-11-11 4/200 2026-11-12 12:28 by ECLTXnJnRSXf
[考研] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +4 Z7qfCsdIiD1T 2026-11-10 4/200 2026-11-12 11:22 by HajghKOMynmz
[考博] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +3 G2rhSvqvhNzl 2026-11-10 5/250 2026-11-12 10:49 by HajghKOMynmz
[硕博家园] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +4 czAiolzR0IJC 2026-11-10 8/400 2026-11-12 10:49 by HajghKOMynmz
[考研] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +4 G2rhSvqvhNzl 2026-11-10 6/300 2026-11-12 10:41 by HajghKOMynmz
[考博] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3 G2rhSvqvhNzl 2026-11-10 5/250 2026-11-12 10:38 by HajghKOMynmz
[考研] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +4 G2rhSvqvhNzl 2026-11-10 6/300 2026-11-12 10:36 by HajghKOMynmz
[考博] 售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急 +5 FChKX8meu1ds 2026-11-09 8/400 2026-11-12 09:46 by HajghKOMynmz
[考研] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +6 FChKX8meu1ds 2026-11-09 8/400 2026-11-12 09:41 by HajghKOMynmz
[考研] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +8 cqv1zKnzd7hr 2026-11-09 12/600 2026-11-12 09:32 by HajghKOMynmz
[考研] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3 cdqGD6ftHmbl 2026-11-11 3/150 2026-11-12 07:53 by HajghKOMynmz
[考博] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3 FChKX8meu1ds 2026-11-09 7/350 2026-11-12 05:30 by 9fOTqj074tIg
[考研] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +5 FChKX8meu1ds 2026-11-09 8/400 2026-11-12 05:30 by 9fOTqj074tIg
[硕博家园] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +4 cqv1zKnzd7hr 2026-11-09 8/400 2026-11-12 05:08 by 9fOTqj074tIg
[公派出国] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +5 zSbvVX9JFl9J 2026-11-09 8/400 2026-11-12 04:57 by 9fOTqj074tIg
[硕博家园] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +5 FChKX8meu1ds 2026-11-09 6/300 2026-11-11 17:03 by TgvkbZZl9tqB
信息提示
关闭
请填处理意见
关闭