为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
没有基的线性空间，是否可以构造，如何构造？1，2，4，8，16，30是什么规律？
数学中，远小于符号 ≪ 有没有明确的定义？
初中数学考19分还有救吗？
学数学的人都有哪些特有的习惯？
数学专业的实变函数为什么这么难？
一道复变函数证明题怎么做？
如何评价2021年丘赛分析试题？
如何证明欧拉函数是积性函数？
如何证明韦达给出的圆周率的计算公式？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
管清友称「本科阶段没必要学金融」，网友接话「应该学数学或物理」，你怎么看？全国范围内有很多学生在初中或高中初阶就学（完）了高数吗？
你做过的最难的题是什么？
这个级数是怎么来的？
这种游戏规则是否有必胜策略？
如何推导以下几种连分数表示？
为什么熵值最大的分布状态是正态分布而不是均匀分布？
微积分之后，现代数学有哪些新的革命性工具？近年来物理理论没有突破，是不是微积分不够用了？
如何比较 cos 38° 和 tan 38° 的大小？
请问图中两个积分如何计算?
连续的周期函数都有最小正周期吗？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
数学界有哪些通俗易懂的 open problem？
有人真正理解数列极限的定义吗？
数学有些疑惑，老是犯小错误，怎样才能避免低级错误？
如何优雅地测量一只猫的体积，而不使其感到惊恐或受到伤害？
优秀的程序员需要懂那些数学知识？
是否存在有源有旋场，不是说有旋必定无源？
这个相关系数背景的证明题如何做？
Ln(-3-3i)等于多少？
数列连续两项之差在满足什么样的情况下可推出数列有界？
这个题怎么求概率？
怎样证明 0.999… = 1？
如果规定数 j 满足 j 的绝对值为 -1 ，数集会不会有新的扩充？
如何推导公式？其意义何在？
已知一个圆，一个点和一条直线，如何找到一个与圆相切过点且圆心在直线上的圆？
有哪些分析的恒等式有很深刻的数学背景？
缠论是唯一用数学证明了的理论，谁能说说这是怎么回事？
柯西黎曼条件为什么这么神奇?
如何评价知乎用户 @证明 的哥德巴赫猜想证明？