为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
制药工程女生就业真的不好吗，不喜欢化学而喜欢数学？我能不能折出一根长3.3333.……米的小棍？
拉马努金圆周率公式的原理是什么？
初态为熄灭的灯每隔 1/2ⁿ 小时开/关一次，一小时后是亮是灭？
公民身份号码有可能是素数吗？
数学这种东西也许有用，但是，如何在现实生活当中用到它？
下一次数学突破会在哪里？
2022 这个数字在数学意义上有什么特别的，为什么？
请问这个奇怪的极限怎么求?
如何用简单易懂的例子解释隐马尔可夫模型？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
怎么比较 33 的 11 次方与 17 的 14 次方的大小关系？为什么集合这个数学术语在麻将中没有被说明？
这个不可测集的外侧度是多少？
如何用初等函数证明 π 不是有理数？
如何计算一局三国杀所进行的回合数的数学期望？
如何直观地解释「紧致性」？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
怎样徒手开三次根号、四次根号？
数学知识在三国杀里有多大的作用？
房间内有 100 人，每人有 100 块，每分钟随机给另一个人 1 块，最后这个房间内的财富分布怎样？
我想了解一下：最小公倍数＝两数乘积 / 最大公因数，出自于哪里？
幸存者偏差是什么意思？
如何证明质数的倒数和是无界的？
如何看待菲尔兹和阿贝尔奖双料得主 Michael Atiyah 宣称自己证明了黎曼猜想？
你见过哪些构思巧妙，令你眼界大开的数学问题？
什么是反函数？
这个不等式该怎么证明呢？
在高中，数学不好的人物理一定也不好吗？
2 的 100 次方到底有多大？
成为一个数学家有多难？
你认为数学和物理之间的关系是怎样的？
Weierstrass 逼近定理对任意的完备正交系成立吗？
小平邦彦《微积分解析入门》第五页怎么等于1?
数列 {1, 1, -1, -1, 1, 1, -1, -1, ...} 的通项公式是多少呢？
这道题该怎么做呢？(数分)？
为什么梯度下降能找到最小值？
如何证明半径为 a 的圆内的一条闭曲线必有一点点曲率大于 1/a？
矢量的点乘为什么可以求导？
自旋为 1/2 的粒子是什么形状的？三维空间真的有转两圈才能和自己重合的形状吗？
给 n 个数的加法加括号的方法有多少种？