当我们说一个定理可以推出另一个定理的时候, 我们在说什么? 第1页
1
lljpcz 网友的相关建议:
常见的形如“定理P推出定理Q”的表述可能有两种含义。
第一种情况是这样的，我们已经认识了命题P的正确性，并把命题P称为一个定理。我们尚未认识命题Q是否是正确的。现在，利用了定理 P，我们推出了命题Q(请注意，此处仅仅是利用，并非是在证明Q是，P是必要的)。
换句话说，我们实际上证明了┣P和┣(P→Q)(┣X表示公理系统能推出命题X，手机只能打出来┣这个符号，凑合着看吧)。于是就有┣Q。
第二种情况下，我们可以去掉一些条件，证明推出。
例子已经有答主提过了，A.C.→Zorn's Lemma，就是在ZF里面推的。换句话说，ZF┣(A.C.→Zorn's Lemma) ZFC┣(A.C.)
然后ZF的公理都是ZFC的公理，所以就有ZFC┣(Zorn's Lemma)
从某种意义来说，第一个情况可以算是第二个情况的特例。
不管是哪个情况，重点在于，我们说命题P推出命题Q的时候，我们关心的不是他们重言等价这个事实，我们关心的是，我们是如何认识到Q是一个重言命题的。这个认识的过程借助了P是重言命题和P→Q是重言命题两个事实。
1
相关话题
有没有大佬会算这个无穷级数？关于微积分,牛顿和莱布尼茨的工作各有什么缺陷?
语义网所谓的“本体”的具体例子是什么？
数学和编程中，「函数」的概念相同在哪里，不同在哪里？
《群星（Stellaris）》中的唯心主义和极端唯心主义能够创造出高等文明吗？
如何看待「科学家千辛万苦爬到山顶时，佛学大师已经在此等候多时了」和「没有科学家，绝大多数人可能永远到不了山顶」的两种说法？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
这几个不等式如何证明?
你所在的科研领域有哪些做不动的问题？
将记忆保存在电脑上，肉体坏死的人，算死亡了吗？
前一个讨论
陶哲轩为什么用一个新公理代替了旧的幂集公理？
相关的话题
由绝对真实所构成的世界是更美好还是更残酷？直线可不可以看做是半径无限大的圆？
“察觉背叛要选择原谅”这种观念对吗?
你为什么喜欢你自己?
在数学大题解答中什么样的排版会让老师看的舒服和清楚？
有哪些让数学专业抓狂的「月经数学题」？
拓扑学能解决哪些分析学无法解决的问题？
当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
为什么黑格尔认为『中国历史从本质上看是没有历史的』？
世界上存在周长为整数，半径也是整数的圆吗？
哲学有用吗？为什么要学哲学？
最大似然估计和最小二乘法怎么理解？
关于“人的异化”，你是如何理解的？
甲有101个硬币，乙有100个硬币，两人随机撒在地面上，甲比乙正面朝上多的概率是多少？
此函数式如何求最小值？
傅里叶级数和傅里叶变换是什么关系？
如何评价知乎用户edmond的文章《对知乎主流舆论「自极端化」现象的一些思考》？
数学竞赛和物理竞赛的强度差距有多大？
奥赛生做高考题是种怎样的体验？
学数学学到什么程度怎样才算学好了？
为什么史书对商鞅的评价都很苛刻？
均值回归可以作为解释一种现象的原因吗？
“只爱抽象的人类，不爱具体的人。要警惕成为这样的人。”如何理解这种现象？
朋友学中国哲学走火入魔该怎么办？
一周学完初中三年所有知识可能吗？
物理系应该最好怎样对待数学？
魔方运用了哪些数学原理？
有哪些用普通人的知识水平就可以巧妙证明的数学难题？
面对一个逻辑清晰，思维缜密，有一定语言功底，且见多识广的人。怎么做才能辩论过他?
为什么史书对商鞅的评价都很苛刻？