当我们说一个定理可以推出另一个定理的时候, 我们在说什么? 第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
相关话题
如何证明以下恒等式?人到底是为什么要活着啊？
为什么n维欧式空间中的单位球面（n-1 sphere）的表面积和体积，在 n 趋于 ∞ 时，都趋于0？
阿里数学竞赛到底难不难？高考142分能不能去试试看？
数学上激波和稀疏波的区别是什么？
为什么数量级"皮可"很少使用？
「有些动物是猫，有些猫是黄色的，所以有些动物是黄色的」这个三段论有没有问题？
目前认识物质世界的最大困难是什么？
非公有制和私有制有什么区别？
我为什么是我，我们的思想感觉被困在这个躯壳里，如果可以打破这具躯壳，是不是我们就可以“出来”？
前一个讨论
陶哲轩为什么用一个新公理代替了旧的幂集公理？
相关的话题
一道极值点偏移如何证明?如何从哲学伦理角度看待爱国行为？
纯数学是否可以转化为生产力从而造福社会？
为什么 AI 理解不了逻辑问题？
利用无理数压缩数据是否可行？
说法：古代低层出身的皇帝杀功臣多，而贵族阶层出身的皇帝比较善待功臣（除去南北朝和五代十国）是否有道理？
为什么圆周率 π 在各种物理数学公式里面经常出现？
为什么民国时期至新中国那段时期好多物理学家是哲学学位，明明是搞物理的？
为什么 Mathematica 不能显示积分过程，即使它能算出最终结果？
阿贝尔定理有什么哲学思想？
有哪些一眼惊艳你的哲学短句？
为什么∫x²/（√1-x²）dx用分部积分求不出来不定积分?
基础数学的非线性泛函分析研究什么？
数学专业本科生如何选择方向？
如果人类（全体）能够获得长生不死的能力，代价是失去繁衍后代的能力。你会选择长生不死吗？
想问问数学大佬们你们为什么那么牛逼？
平庸的数学家能为数学的发展做什么贡献 ？
当“真”与“善”、“美”发生冲突时，我们应该如何选择？
“太阳从西边或东边出来”是必然事件，随机事件还是不可能事件？
为什么中国的“汉流“不能像日韩的“日流”“韩流”一样向外进行文化输出？
法国哲学是什么？与其他哲学有何区别？
如何手写数学书籍里面的花体字母？
中职生，我非常喜欢数学，我也经常买普高的数学书看。但许多都跟我说没啥意义，但我真的喜欢数学，怎么办？
你觉得出色的推理小说应具备什么？？
如果哥德巴赫猜想是由现代的普通人提出，是否会被人认可？
“爱吃不吃”这四个字是以什么样的语言逻辑组合在一起从而表达出来其丰富内涵的？
数学很好而且喜欢设计的女生去学建筑值得吗？
生活中的哪一个瞬间，让你感受到了生命力的神奇与伟大？
连简单的三体运动都无解的话，那么我们的宇宙底层规则是否基于不可知论？
根号素数的有限组合是否一定是无理数?