当我们说一个定理可以推出另一个定理的时候, 我们在说什么? 第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
相关话题
西方哲学史上哪些哲学家在汉语世界中被低估（重视不足）了？为什么？电脑会算错数吗？
三体运动的微分方程组是如何列的？既然它没解析解，能否写一下计算过程？
为什么在计算机科学领域及编程中不使用现代数学建立的符号体系进行操作？
一个具有介值性的函数是否一定存在原函数？
Kkndme大神给了我们什么启示？
此函数式如何求最小值？
如何避免完美主义倾向，以应用的方式/目的学习各类理论？
如果人类变得绝对理性，世界会变成什么样？
有哪些形式简单却很难证明的不等式？
前一个讨论
陶哲轩为什么用一个新公理代替了旧的幂集公理？
相关的话题
既然艾滋病只能预防不能治疗，为什么不能隔离艾滋人群呢？这不是从根源上解决问题了么。?苏格拉底之死的原因是暴民政治还是极端民主？
如何看待高考语文难度提高，数学难度降低？你是否赞成？
为什么我从来没有承认法律，却要遵从法律？
数学总是令我困惑，为什么可以这么做？
均值回归可以作为解释一种现象的原因吗？
没有基的线性空间，是否可以构造，如何构造？
为什么马拉多纳的“上帝之手”本质是欺骗却无人谴责？
请问这个极限怎么算 谢谢?
如何看待这位知友提出的这个声称只有他能解的问题？
希尔伯特本人对不完备定理是什么态度？
唯心主义真的没有什么作用吗？
对于这道题你的解法是？
柯西黎曼条件为什么这么神奇?
数学物理方程怎么那么难？
如何评价同济大学版线性代数？
∞+1和∞谁大？
等比级数Z=X-X^2+X^3-X^4+……求和Z=X/(1+X)是怎么推导出来的？
如果有一天上帝给了数学家素数的通项公式，这会对数学界有什么影响？
三门问题(蒙提霍尔悖论)变种，如果主持人不知道哪个门是汽车随便蒙门打开正好是羊这时观众还需要换门吗？
法国哲学和德国哲学有什么风格差异？
洛必达法则为何成为禁术？
数学符号是不是在一定程度上阻碍了数学的发展？
概率（Probability）的本质是什么？
我教小学数学，今天家长在微信群里发了一个链接，问我第一题怎么算，我该如何回答？问题如图所示?
有没有符合f'(x)=f(x+1)的函数？
王阳明思想的精髓到底是什么？
为什么作为欧洲启蒙运动发源地的法国和德国，最终都没有因为启蒙运动而产生现代民主文明？
将记忆保存在电脑上，肉体坏死的人，算死亡了吗？
如何看待山东大学泰山学堂数学取向要做大量的大物实验？