当我们说一个定理可以推出另一个定理的时候, 我们在说什么? 第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
相关话题
把自己心仪很久的事物得到手之后是什么感觉？我们为什么要学数学？学数学有什么意义？
这个结论是对的吗？能否初等证明？
你知道哪些冷门但内容十分好的数学书？
ROE比债务利率高是个什么逻辑？
常听人说「我吃的盐比你吃的米还多」，这真的有可能吗？
既然人类最值得歌颂的是勇气，而有句话叫做无知者无畏，我们是否在歌颂我们的无知？
杨小凯先生墓碑最下面的符号是什么意思？
用老张一个人换全车人活命，值吗？
AI 有可能代替人类从事数学研究吗？
前一个讨论
陶哲轩为什么用一个新公理代替了旧的幂集公理？
相关的话题
数学界如何评价陈景润？如果一个人同时精通儒释道三种哲学，他最后会信哪个？
没有阿拉伯数字、拉丁字母和希腊字母，古代中国的数学是什么样的情况？
如何证明或反驳「一个红色的物体，当没有人看它的时候，它依然是红色」？
喜欢哲学，一定要学习官哲吗？
这道定积分如何解决呢？
为什么一条线有无数个点？
《道德经》中的哲学内核是否可以与现代科学衔接？
逃离丧尸包围的游戏，你能否逃生？
999的99次方是什么概念？
线性代数从矩阵和行列式入门真的是最恰当的学习方法吗？
当被自己保护的人民害死是什么感觉？
为何人类需要宗教？
如果牺牲掉你一个人，可以拯救全世界，你愿意吗？
如何批判“真理在大炮的射程范围内”大炮说话、国际关系中没有平等、更没有真正友谊及类似丛林法则的逻辑？
狄利克雷函数（Dirichlet Function）有什么用处？
如何理解和评价张一兵教授提出的「回到马克思」？
求解一道关于级数的问题怎么证明？
如果你来讲《高等代数》课程，你会如何设计？
数学难还是画画难？
哲学中，唯心主义为何能长期存在，以至于很多聪明的哲学家都倒向了唯心主义？
人类的意识是从哪里来的？
这张珍贵的照片是什么时候照的？分别都有谁？
为什么说「语言的边界就是思想的边界」?
为什么7×5=5×7？
如何理解「梅涅劳斯定理」和「塞瓦定理」，这两个定理在实际中有什么应用？
人生的意义在哪里？
数学上一共有多少维度?
如果函数是一种法则，那它为什么有最大值、极限，还能相加减等等？
对于飞天意面神教的嘲讽，从逻辑上一元神宗教真的拿它没办法吗？