为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
如何简洁地证明二次互反律？有哪些具体应用？下面这个关于质数的不等式如何证明？
「克莱因瓶」是什么，如何借助「克莱因瓶」来理解四维空间？
如何计算一局三国杀所进行的回合数的数学期望？
数学不需要依赖任何观测吗?
绝对值不等式的发展史是什么呢？
请试着论证下此问题是否条件充分，可解？
「微积分」的建立和发展经过了哪些阶段，它的研究对其它学科产生了什么影响？
支持热爱数学的女生走纯数学道路吗？
如何证明数学定理全宇宙通用？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
有哪些自己发现并证明的并自以为得意的初等数学定理？是否存在一个函数，在它定义域内连续，递增，但处处不可导？
圆锥的体积应该怎么推导？
如何证明最小正周期为无理数的数列f（n）极限不存在？
狄利克雷函数（Dirichlet Function）有什么用处？
高斯到底干了什么？为什么这么多算法里有他？
有没有武德充沛的数学家和科学家？
如果我的将来梦想是取消数学这门学科，我该怎么做，或者谁可以帮忙实现它？
是否能通俗的介绍一下什么叫协变微分？
「一种科学只有在成功地运用数学时，才算达到了真正完善的地步」是什么意思？
这样的数学归纳法是否成立？
对于高数以及更加高深的数学学习者来说，你们是如何思考并想象数理问题的？
为了使R^n成为向量空间，R^n中的加法运算和数乘运算是唯一的吗？
圆周率 是一个数列的极限吗？
计算机编程算是否是理科中比较偏文的科目？
在 UCLA 陶哲轩手下读博是什么感受？
古希腊的数学家是用什么样的数字运算的，以及如何运算的？
数学学到什么程度可以进行下一部分的学习了？
三角形存在垂心，请问任意四面体是否存在垂心？何以证明？坐标是什么？
如何计算以下的积分？
智力很高，且只喜欢探索真理，不想做作题家，怎么去大学里蹭课？
向量奔驰定理有哪些证明?
什么情况下被积函数的原函数不能用初等函数表示？怎么判断呢？
数学专业的学生的毕业论文是怎样的？
五岁的孩子学习五以内加减算不算早呢，孩子就是不开窍怎么办？
如何通俗地解释什么是离散傅里叶变换？
熵权TOPSIS中二级指标的相对接近度怎么计算，一般计算的都是一级指标的相对接近度，困扰我好久了。？
说战国时期的围魏救赵有解吗？
研究了一辈子学问却发现研究的方向错了，或当前流行的理论错了，你会有怎样的感想？你会怎样做？
社会科学可以被形式化公理化吗？