为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
欧洲有哪些统计机器学习比较强的大学或者研究院的？？数学分析中最重要的定理是哪个？为什么？
怎么求lnsinx在0到pi/2的积分啊？
皮克定理有哪些证明？
什么是累积投票制度？
在开区间上无界的连续函数一定不一致连续吗？
为什么要引入矩阵这个数学工具？它能简化哪些不用矩阵会复杂的问题？
学数学是不是真的脑子好比努力还重要？
想问问数学大佬们你们为什么那么牛逼？
如何证明R^2上的不可数集至少在一点附近局部不可数啊？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
如何求证：无穷级数∑1/i²=π²/6，求方法？如何用高中数学知识证明 ln(ln88)＜3/2？
是不是智商超高的人普遍研究数学或物理，很少有研究文学历史这类的?为什么大家普遍认为理科好就是智商高?
离散数学色里的哈斯图怎么画？
任意 ε＞0，a≤b＋ε 是否可推出 a≤b？
这个能用留数做吗?
如何对幼儿进行数学（不是算数）启蒙？
请问这个级数是如何计算的？
为何要引入同伦群，同伦群可以解决什么问题？
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
成功概率为 1% 的事件，理论上平均要尝试到第几次才能成功？
中国数学教育水平在全世界怎样？
Diffie-Hellman密码交换是如何运作的？
想成为数学家或物理学家应该怎么做？
是什么让你对数学或物理感兴趣的？
怎么证明方程 x^4＋4x^3－3x^2－x＝0 有 4 个实根？
如何计算下面的级数？
波恩哈德·黎曼这个人有多强？
下列积分级数如何计算？
数学好的人去搞生物是种怎样的体验？
如何理解华为任正非在《面对面》中提到的「能坐基础理论的冷板凳」？我们究竟应该如何发展基础研究？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
怎么做这道不等式的证明题？
请问一下如何求解下面这个积分的值？
如何看待复旦数院转专业考试最后一题？
数学专业本科生，未来选择哪条路赚钱最多？
RSA 生成公私钥时质数是怎么选的？
目标专业数学系，如何在北师大，南开大学，西安交通大学，山东大学，武汉大学中选择？
有没有处处不可导的凸函数？
如何直观地理解阿贝尔变换恒等式？