为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
如果你是阿里巴巴数学竞赛的出题官，你会出什么题目？怎么证明 n 维表面积公式是 n 维球体公式关于半径 r 的微商？
如何用物理和数学名词写成诗？都有哪些作品？
为什么对于一阶、二阶导，人们通过直观可以轻易地认识，三阶及以上就很难直观地认识了？
有没有大神回答一下，级数中，比值判别法中的ρ是指什么？
基础学科的大学教授教授本科课程对自己纯理论的科研会不会有启发？
AI 有可能代替人类从事数学研究吗？
我今年16岁，昨天花了2个小时用梅涅劳斯逆定理证明了帕斯卡定理，那我在数学方面有天赋吗？
现代数学里有哪些本质的结论?
是否存在整数 x＞1，使 sqrt(x!) 为整数?
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
二维空间有四色定理，那三维空间中存在 n 色定理吗？如果有，那么是几色定理？是否存在一个函数，使得它的逆运算是容易求的，而它的逆运算的逆运算是难求的？
数学竞赛和数学研究有什么区别？
高斯到底干了什么？为什么这么多算法里有他？
想问问各位大手子这个定理怎么证明，题目在补充里?
如何证明此不等式呢？
这个极限题怎么做呢，希望大佬指教。?
三位物理学家与陶哲轩发现的特征向量全新求解公式，会给机器学习领域带来怎样的变化？
为什么菲尔兹奖没有诺贝尔奖在公众的影响力大？
布尔代数是怎么出现的？
如何用初等数学证明2的a次方（a大于零）大于1？
为什么数学概念中，将凸起的函数称为凹函数？
高斯作出正 17 边形的依据是什么？
救救娃吧！?这个数学题咋解?
超理论坛是个怎样的论坛？
三个蛋挞，分别是紫薯的、提子的、黄桃的，有 80% 的把握第一个是紫薯的，有 80% 的把握最后一个是黄桃的，中间的那个是提子的概率是多大？
一个半径为1的圆周上有三个点，求三个点构成的图形的面积的期望值？
请问高等代数判断多项式可约性的这一题要怎么入手？
Γ(x+1)在x=0处如何泰勒展开？
嘉然在杭州，我也在杭州，知乎上的各位数学大神能帮我分析一下，我在杭州偶遇嘉然的概率是多大？
为什么不说能量是矢量？
大佬们这个等式怎么证？
教授留的思考题，请问这个积分怎么求？
为什么苏联建立后突然出现了一大批数学家？
你喜欢数学吗，为什么？
这个极限怎么证？
目前 x³＋y³＋z³＝42（x、y、z 均为整数）是怎么求解的？
如果黎曼猜想被证否了，将会产生什么后果？
如何理解「数学是研究数量关系与空间形式的科学」这句话里「空间形式」的含义？
退休后的数学家或物理学家通常怎么打发生活？