为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
曲率公式是怎么推导的？学数学是什么感觉？
如何判断社科研究中的数学公式是否具有合法性？
经常出现在数学证明中的「不妨设」根据是什么？如何培养这种「不妨设」、「假设」的能力？
是否存在仅在一点可导且该点导数不为0的函数？
数学只有初二水平的大学生如何回头补基础？
数学和物理对一般人来讲真的有必要学那么难吗？
关于传染病的数学模型有哪些？
用这种方式算π，问题在哪？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
有没有什么数字的某个幂次方等于0？请问 这道微积分题怎么做？
如何看待Michael Atiyah爵士疑似证明黎曼猜想，并将在9月24日宣讲？
关于这个极限怎么计算？
随机取牌算不出 24 点的概率是多少？
同样是社会主义，为什么苏联能从20世纪后半叶至解体前培养出那么多数学大师，中国却不能？
真的有什么式子能表示圆周率吗？
有什么数学定理一般人都觉得是常识，但严谨证明起来却挺费力的？
分家产的数学问题，17头牛老大1/2，老二1/3，老三1/9，是什么数学原理?
曲率公式是怎么推导的？
请问高等代数判断多项式可约性的这一题要怎么入手？
如何证明π^π^π^π(π的四次迭代幂次)是个有理数?
这个冲激函数的积分怎么做？
人们专门弄了一个自然对数函数的底数 e，是为什么？
这张图的最后一条到底是什么？
有理函数的积分怎么解释？
一下几道数学题该如何思考如何计算？
陈景润是如何证明「1＋2」的？
如何能够快速恢复脑力？
数学最高奖得主拉福格将加入华为团队，这对华为意味着什么？
为什么中国人数学这么牛，却几乎没有中国人发现的数学定理？
这个数列问你证明收敛呀？
数学总是令我困惑，为什么可以这么做？
用 pdf 版看完大部头专著是怎样一种体验？
「科普」数学的目的是什么？
专业的数学家只擅长证明不擅长使用数学吗？
如何证明这个Tauber定理？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
高等数学和生物技术有什么关系？
数学中为什么要定义各种空间？