为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
为什么世界上最顶尖的科学家很多是单身汉？目前数学界有多少种运算方式?
O是八面体群，则SO(3)/O如何理解，有何意义？
如何解这个数列的通项公式？
如何判断圆锥曲线上是否存在有理点(横纵坐标都是有理数的点)？
微分和导数的关系是什么？两者的几何意义有什么不同？为什么要定义微分 ?
牛顿莱布尼茨公式这么证可以吗？（准初二，对微积分了解不深）?
如何通俗地解释马尔科夫链?
金融的核心是数学吗？
复数为什么比较不了大小？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
我需要选这样的数学系吗?怎么反驳：10元=100毛=10毛X10毛=1元X1元=1元？
拓扑学上的紧致性怎样理解？有何运用？
我是学数学专业的，我已经没希望了，数学分析我学到崩溃，现在直接颓废，看都不想看，我是不是完了？
我能不能折出一根长3.3333.……米的小棍？
学数学有什么好处？我们为什么要学数学？
为什么自然数的和等于 -1/12？
存不存在连续的三个奇数都是素数（3，5，7 除外）？如果不存在又是为什么？
波恩哈德·黎曼这个人有多强？
如何评价 EPFL 数学博士后 Anna Kiesenhofer 夺得东京奥运会女子公路自行车金牌？
你的科研之路是怎样的？
如何直观地解释「紧致性」？
cotx是周期函数吗？
我感觉我对数学的求知欲在下降，怎么办？
如何理解主成分分析中的协方差矩阵的特征值的几何含义？
二维空间有四色定理，那三维空间中存在 n 色定理吗？如果有，那么是几色定理？
如何证明：A*=A,则A的特征根为实数？
如何证明下面的积分不等式？
如何求解这个小球碰撞次数与圆周率关系的趣味问题？
光是如何知道哪条路线最快的，费马原理是不是违背常理呢？
数学建模入门请问要学习什么?
如何看待任正非说的「发展芯片光砸钱不行，还要砸物理学家数学家」？
为什么我们可以用平面取一点来证明概率为零事件能发生？
请问这道题有没有除了泰勒公式之外的其他解法？
如何证明一个数学命题的不可证性？
如何求解这几道题?
数学的泛函分析应该怎么学？
中国有哪些描写随机过程的古诗词？
这个极限题如何解决？
2019新课标1数学概率大题中的一个递推公式如何的出？