当我们说一个定理可以推出另一个定理的时候, 我们在说什么? 第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
相关话题
有什么深度学习数学基础书推荐？让数学家来做高考数学试卷，他们能考满分吗？
4x5的表写入20个不同正整数，相邻数不互质，表中最大的数至少是多少？
微软的计算器为什么输入 ln 2 是先输入 2 再输入 ln？
数学差的关键原因是缺乏抽象思维还是逻辑性弱？
不查表，如何求 sin36 度？
为什么感觉知乎上面的无神论者谈起宗教总有很强的优越感？
逻辑学中，前提为假而命题为真的推论如何解释？
如何看待知乎部分所谓的马克思主义者们喜欢迅速拉黑质疑他们或意见不同的人？
F=ma 的逻辑是什么，F 为什么等于 ma？
前一个讨论
陶哲轩为什么用一个新公理代替了旧的幂集公理？
相关的话题
这道题解题思路是什么呢?目前认识物质世界的最大困难是什么？
道德经是虚无主义么？
不会数学情绪崩溃怎么办？
围棋黑子贴7.5目，有数学理论依据吗？
如何求如下n阶导数？
如果动物会说话，人类会吃它们吗？
为什么时间序列分析在ar(p)模型之外，还需要ma(q)模型和arma模型？
老师说链式法则里某个 dy/dx 不能理解为 dy 除以 dx，为什么？
老婆车祸去世了，我把她钻戒拔下来卖了被她哥哥打了，我做错了吗？
为什么有的人开始喜欢数学，到了大学就不喜欢了？
算法研究属于数学专业还是计算机专业？
为什么矢量可以任意平移?
函数 f(x)＝x/2＋√(x²－x＋1) 的最小值怎么求？
同卵双胞胎看到和自己长得一模一样的兄弟姐妹是什么感觉？
如何证明每一个有穷的偏序都可以延拓成一个线序？
为什么有些人连微积分都不会算，却能侃侃而谈「科学的尽头」呢？
如何求函数 f(x) = sinx + sin2x + sin3x 的值域？
卢梭是自由主义者吗？
代数几何是不是被神化了？
数学有什么意义？
数论在物理学中有哪些具体应用？
如下图，这个级数如何求出来呢？
n阶实方阵矩阵的换位子问题？
真理，民族，艺术三选一，您会选哪个？
人在什么样的环境下和什么样的意识形态不同才能达到阶级对立的情况?
马克思主义哲学在哲学史中的地位如何？
古中国对比西方古典时期在数学、冶金、哲学、建筑学、自然科学等方面真的全面落后吗？
现在的纯数学家们对于自然科学的关注大概是怎样的程度？
人类只能无限接近真理而不能寻找到不变的真理，那真理以及探寻真理的过程对人类的意义是什么？