为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
如何评价第12届全国大学生数学竞赛初赛（数学类A组）试题？学完泛函分析可以做哪些事情？
R^2 与 C 的区别在哪里？为什么有数学家认为复数用 a+bi 表示不好？
如何评价动画《理科生坠入情网，故尝试证明》?
如何评价国科大非数专业使用卓里奇和代数学引论？
为什么人人都说数学有用/很重要, 但似乎大多数人(非数学专业)并不会去证明他们用到的数学?
怎么用泰勒公式估计通项趋于零的阶以判断级数的敛散性?
高维情况有没有叉乘运算？怎么计算？
除了 3，4，5 以外是否还有别的三角形，它的三条边是连续自然数，它的面积也是自然数？
如果Ramanujan，Grothendieck这类喜欢自创体系的数学家在清华北大就读，会否被埋没？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
如何看待学生所认为的「数学是门没用的学科！」？多项式由系数唯一决定，在中学或大学数学课上证明过吗？
如果有一个人见到一个整数就能立刻分解质因数，那么这个人怎样才能发挥他的最大价值?
这个命题是错的吗？
对大多数人来说数学无用，但要高考，不想学数学，怎么克服这种心理？
数学家面对复杂的数学算式时，还能把它和直观的概念联系在一起吗？
为何乘法比加法具有运算优先权？或者说加减乘除的本质是什么？
如何评价2021年第62届IMO试题？
甲有101个硬币，乙有100个硬币，两人随机撒在地面上，甲比乙正面朝上多的概率是多少？
有哪些只使用纸和笔就能愉快玩耍的游戏？
怎么形象地理解对偶空间（Dual Vector Space）？
真的有什么式子能表示圆周率吗？
如何求下面周期函数的极限？
如何证明Metropolis Hastings algorithms)能够达到马尔科夫稳态？
数学史上你认为最美的公式是什么？
数学分析中，关于某个变量一致是什么意思？
如何证明这个高等代数问题？
数学中有哪些看起来很不可思议的知识？
这个题怎么求概率？
图论里的图用什么软件画比较好？
有没有大神回答一下，级数中，比值判别法中的ρ是指什么？
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
为什么有些数学系学生会瞧不起 CS（计算机）系学生？
如何证明 2 的平方根不是有理数？
能不能定义一个数 I，与 0 的乘积等于 1？
为什么函数的解被称为「根」？
经济学中的「效用」是全序的吗？是可加的吗？如何证明？
成为一个数学家有多难？
俄罗斯的数学教育为什么那么强大？
哪些数学命题曾经长期被误认为是正确的，但之后被严格证明是错的？