为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
如何对 0，0，0，0 进行运算得到 24？作为高中生是否应该学习一些超纲的知识（相对论，大学的微积分，量子力学......）这些对高考成绩有影响吗？
做数学做得狂躁了，我该怎么平静下来?
金融的核心是数学吗？
一条假设出来的辅助线，为什么能证明真实的结论？
这个题有没有不用圆函数做的方法？
为什么学了大学物理可以秒杀全部中学物理，但是数学不能?
正常运转的时钟存在某一时刻三个指针互成120°角吗？
「科普」数学的目的是什么？
数学家在知道哥德尔不完备定理后为何还继续研究数学？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
有哪些神奇的数学巧合？什么情况下求极限可以直接带入？
抛物线为何属于圆锥曲线？
这个极限怎么写?
如何求得这个积分的值？
方程 x³+y³+z³=33 是否存在整数解？
在你的科研领域里，做得不错的年轻人都有哪些特征？
∫（x²－4）½／x.dx的不定积分怎么计算?
a²＋a³＝392 怎么解？
数学界为何走向抽象？
数学系为什么有那么多编程课程任务?
这个的必要性怎么证明？
有没有休闲级别、能读懂的讲「群论」的书籍？
有没有这样的函数，其一阶导等于1，二阶导等于2，三阶导等于3，n阶导等于n，n一直趋于无穷大？
最难的数学有多难？
这个数学问题，大家可以指点一下吗?
请问这个参数方程是怎么写出来的？
曲率公式是怎么推导的？
我们为什么要学数学？学数学有什么意义？
数学家面对复杂的数学算式时，还能把它和直观的概念联系在一起吗？
为什么法语的数字表达方式那么奇怪？世界上还有其它主要语种采取类似的数字逻辑吗？
为什么任何阶数等于其定义空间维数的全反对称张量在该空间中坐标系转动下不变？
请问下面这个命题成立吗？
2020 年高考数学最后一道大题难吗？你能想出哪些「出其不意」的解法？
狄利克雷函数（Dirichlet Function）有什么用处？
1组（64个）原木和一个熔炉，最多能做多少火把？
下面圆周率的这3个无穷级数公式怎么证明？
∫sin²(mx)dx/(a+sin²x)于(0, π),a>0怎么积分？
国内的数学系本科是不是代数的训练不够？
工具变量 (Instrumental variables) 的作用到底是什么？