当我们说一个定理可以推出另一个定理的时候, 我们在说什么? 第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
相关话题
请问怎么证明一个实对称矩阵为零矩阵（如题）？人类真正可以信任的东西是什么？
世间是否有像物理定律一样简洁而有效的基本原则，以此为宗旨，就足以「兵来将挡水来土掩」，过好这一生？
如果使 1÷0 有意义，那么应该等于多少？
杨振宁教授说「哲学从来没有影响过物理学」，你认为这句话对吗？
有没有一套统一的办法处理非初等的原函数？
人有什么是可以无限的？
1³+2³+3³+......+n³=多少？
如何评价数学家、现代概率论的创始人柯尔莫哥洛夫？
东罗马信奉经院哲学么？
前一个讨论
陶哲轩为什么用一个新公理代替了旧的幂集公理？
相关的话题
为什么有些数学系学生会瞧不起 CS（计算机）系学生？过反比例函数上任意三点连成的三条线段的中点的圆过定点吗？为什么？
工业党的理科思维在人文社科领域是否会掀起巨大的革命？
什么是民哲呢?如果不是学哲学的人，怎么才能避免这方面的错误呢?
如果你死后发现自己以鬼魂的状态存在，你会做什么？
怎样判断简单命题的真假？
如果速度足够快，我能否和自己对视？
[x]表示小于x的最大整数已知[√1]+[√2]+[√3]+……+[√n]≤2022，求n的最大值?
世界上不存在绝对的事情，但这句话是绝对的，这会形成悖论吗？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
如何看待部分明显不具备相关领域基础知识的公众号和用户在各种专业问题下强行「科普」的现象？
格林公式为什么不对称啊？
在专业领域上，普通人只能听权威说什么就是什么吗？
康德意义上分析与综合的明确界限在哪里？
为什么康德的思想那么难懂？
负数有没有阶乘，0 的阶乘为什么是 1？
怎样看待《为什么〈流浪地球〉必须被叫停》一文？
为什么女哲学家很少？
“二分之一乘二等于一”，在这个算式里面“二分之一”该如何定义？
海上两艘孤船仅凭信号灯能否逐渐建立沟通？
有哪些数学定理的推出过程是值得细细品味的？
一个一般的二次型等于0，这个方程应该如何求通解？
家有毕业班的中学生，想知道“平行线分线段成比例定理”如何证明？思路是什么？
系统地学习诸子百家哲学体系有哪些书？
任何自然数都能用包含「1、1、4、5、1、4」这 6 个数字的式子表示吗？
历史虚无主义是什么？
如何反驳「你浪费了每人一分钟，四十个人就是一节课」的神逻辑？
为什么历史上很多伟人对女性有偏见，如叔本华，孔子，是由于女性本身的生理上问题还是性格上的劣性？
你对贝叶斯统计都有怎样的理解？
表达能力好，表达思维逻辑清晰的人们在说话表达的时候脑子里在想什么？