当我们说一个定理可以推出另一个定理的时候, 我们在说什么? 第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
相关话题
以「Q.E.D」收尾证明语段，是什么梗？苏菲是什么？为什么苏菲如此广泛的存在于宗教和哲学当中？
如何反驳道德虚无主义者？
为什么数学定义一般采用如下形式：X has property P, if（条件），而不是 iff？
若是以错的方法去追求一个对的结果。对还是不对？那么以错的方法，达成了一个极其难得的对的结果，错没错？
数学中，梯度可不可以理解为电场线垂直为等势线？
怎么看待高中哲学课以及其中的观点?
泊松分布和正态分布有什么内在联系？
哪些话是我们经常说但实际上是不理解或者是曲解了原作家意思的？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
前一个讨论
陶哲轩为什么用一个新公理代替了旧的幂集公理？
相关的话题
如下图，这个级数如何求出来呢？如何评价知乎用户灵剑？
有哪些令人为之惊叹的数学题目？
真理，民族，艺术三选一，您会选哪个？
这个含正弦函数的和式极限怎么求?
[原神]不敢在原神版说，人物平衡的好处和坏处。来讨论一下啊，有错误的地方希望指出？
这道题怎么做?不懂？
为什么化学上喜欢用 lg，而数学上喜欢用 ln？
有哪些数学知识概念已经更新或改变，但不为大众所知？
马克思主义是否阻碍了中国哲学研究进步？
为什么1688年光荣革命成功后的一百年1789年的法国大革命还是会翻车？
社会结构/阶级是客观性/物质性的吗？
中国不教逻辑学吗？为什么？
中学阶段解出一道很难的数学题和在数学研究领域做出重大突破的区别在哪？
如何证明自己不在「楚门的世界」里？
有没有双重否定不是肯定的情况？
一枚硬币，扔了一亿次都是正面朝上，再扔一次反面朝上的概率是多少？
如何证明质数的倒数和是无界的？
数学上存在0.000……01这种数吗？
作为一名非数学专业（电子工程，物理）的学生，怎么样让自己的水平达到介于数学专业以及非数学专业的水平？
这道极限难题怎么解?
我们在数学中为什么要引入复数？
如何证明两个有理数平方和不能为 7？
如何证明一个无理数的整数倍数的小数部分在（0，1）上均匀分布？
哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？
数学上，「数」是怎么定义的？
114514↑↑114514 的后三位数是什么？
如何证明下列公式的通项公式呢？
完全失忆的人跟未失忆时是同一个人吗？
你最认同马克思的哪句话？