24小时热门版块排行榜    

查看: 5133  |  回复: 16
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

qd_huqiang

禁虫 (著名写手)

本帖内容被屏蔽

» 猜你喜欢

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

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

查看全部散金贴

已阅   关注TA 给TA发消息 送TA红花 TA的回帖

々暧-〃

版主 (文学泰斗)



qd_huqiang(金币+1): 谢谢参与
祝福祝福~~~~~~
12楼2013-03-31 22:44:09
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 17 个回答

userhung

禁虫 (文学泰斗)



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

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

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

最后、引理就是在证明某一定理时所必须用到的其它定理。而在一般情况下,就像前面所提到的定理的证明是依赖于定义和公理的。
7楼2013-03-31 22:05:27
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
mvpyqz13楼
2013-03-31 23:08  
qd_huqiang(金币+1): 谢谢参与
~ [ 发自手机版 http://muchong.com/3g ]
信息提示
请填处理意见