为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
如何证明n是2的幂?请问下面两个极限问题如何解决？
优秀的程序员需要懂那些数学知识？
测度论（measure theory）和实变函数是什么关系？
如何求和这个级数?
我想了解一下：最小公倍数＝两数乘积 / 最大公因数，出自于哪里？
数学上所有运算都能回到四则运算么？
送孟浩然之广陵有哪些高数知识？
在你的科研领域里，做得不错的年轻人都有哪些特征？
怎么解Biler上的一道分析难题？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
如何评价一些数学大佬在推导过程中的「我们不难发现…」、「显然有…」、「易得…」等语言?层次分析法 用九级标度 怎么处理多个专家打分（除了加权平均）？
经济学家的数学是否都很好？
杨小凯先生墓碑最下面的符号是什么意思？
如何看待初一学生因偏科，在数学卷上答语文？
如何才能让学的数学灵活起来，或者说融会贯通？
为什么不能用 0 做除数？
这道题的极限怎么求?用到了积分中值定理？
关于这个极限怎么计算？
在有界闭区域上连续的多元函数一定有最大值和最小值是否正确？
如何克服粗心导致的计算错误？
如何看待美国小学要求 5 * 3 = 15 的过程必须写为 5 个 3 相加的形式？
arctan x怎么求和（x=1/（n∧2+n+1））n的取值是1，2...∞？
最后放弃研究数学的人，是对数学失去兴趣了，还是找不到教职被迫放弃了？
0.9999…是否等于1的一个疑问?
为什么有些学数学的看不惯甚至鄙视 Deep Learning？
如果使 1÷0 有意义，那么应该等于多少？
这个级数和怎么证明？
澳大利亚兔子泛滥至100亿，那么中国人需要多久才能消灭这数量的兔子呢？
有哪些适合失业人士思考的数学问题？
掷一枚不均匀的硬币，正面概率为0.7，反面的概率为0.3，如何最高效地获得一个概率为0.5的事件？
数学系哪门课最难学？
实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
比特币挖矿一定要用计算机吗？用纸笔来计算可行吗？
如何（优雅地）证明｛sinN｝的上下确界分别是1和-1？
如何求如下n阶导数？
高中数学有必要学习一些高数知识吗?
哪个瞬间让你觉得一入数学深似海？
数轴上的点为什么是连续的？
怎么推导或证明 e^x 的导数是自身？