为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
古希腊的著作早期是否传入过中国？麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
数学上有「从理论上根本无法证明」的东西么？
很多高效排序算法的代价是 nlogn，难道这是排序算法的极限了吗？
对于很多知乎大佬说的随便一个数学系的学生就能秒杀考研数学？
这个式子对吗？若是，具体步骤是什么？
请问第五题的导数怎么求，老是求不出?
一维布朗运动的最大回撤的概率密度分布有没有解析解？
高斯的博士论文是不是太简单了？
为什么虚数不能比大小？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
数学物理是研究什么的？十个人赛跑第一名和一百人赛跑的第十名，谁厉害？
为什么∫x²/（√1-x²）dx用分部积分求不出来不定积分?
如何能够快速恢复脑力？
利用无理数压缩数据是否可行？
关于物理旋转体（甜甜圈）模型体积的计算？
一个数列是柯西列也是整数列，如何证明其收敛于整数?
怎么证明勾股定理?
如何证明这个复变函数列的一致收敛性？
如何算出这个求和式子结果等于 (2n)!!/(2n+1)!! ？
在「三门问题」中，参与者应该选择「换」还是「不换」？主持人是否知道门后情形对结论有何影响？
这个定积分怎么搞？
有哪些美丽或神奇的理科公式？
英文中省略和椭圆（ellipsis/ellipse）、夸张和双曲线（hyperbole/hyperbola）、隐喻和抛物线（parabole/parabola）等修辞和几何术语非常相似，它们有什么渊源吗？
用微积分怎么证明勾股定理？
对数是怎么被发明的？
1³+2³+3³+......+n³=多少？
如果阿拉伯数字早几千年出现在中国，对中国会有怎样的影响？
如何证明将任意3的倍数各数位数字立方求和，重复数次后得到固定数值153?
怎么做这道不等式的证明题？
高中生对哥德巴赫猜想的证明有哪些错误？
卡尔曼滤波器是如何运用于多传感器融合的？
在一个边长一米的立方体容器内装满圆球，使用直径多少的相同圆球能使装入的圆球总体积达到最大值？
「科普」数学的目的是什么？
如果我们到了四维空间，会看到怎样的世界？
请试着论证下此问题是否条件充分，可解？
问一下这个反常积分的敛散性？
微分记号 dx 是否不够恰当？
请问这个分子含积分的极限怎么求 谢谢?
有哪些数学上的事实，没有一定数学知识的人不会相信？