为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
高一新生看欧几里得的几何原本好还是希尔伯特的几何基础好？你数学考过的最低分是多少分？
「泛函」究竟是什么意思？
数理金融和金融工程需要修的数学课程有哪些?
最优控制(optimal control)与最优化(optimization)有什么区别？
高考刚结束，有志于学习基础数学，假期想要自学一些大学数学内容，可以使用哪些书籍和习题？
这个含正弦函数的和式极限怎么求?
如何反驳如下说法: 1不是无穷大，且若正整数n不是无穷大，则n+1不是无穷大，所以无穷大不存在？
微分流形与黎曼几何有什么关系？
为什么负负得正，正正不能得负？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
如何看待阿里巴巴全球数学竞赛？对其他学科有哪些实际影响和意义？作为老教师，你对新入职的年轻教师有什么建议？作为曾经的学生，你喜欢什么样的老师？
专业的数学爱好者喜欢的是数学的什么（请看问题描述）？
之前的数学家与科学家们潜心研究类似虚数、量子力学等「之前没有任何实用价值」的东西意义何在？
这个题目怎么解?我一直没有思路。？
如何证明 1+1/4+1/9+1/16+1/25+…=π²/6？
为什么不能说 20℃ 是 10℃ 的两倍？
这道竞赛高数题咋写?
请问，如何以类似曲棍球棒恒等式的证明方式证明以下恒等式？
这道题的极限怎么求?用到了积分中值定理？
复决定系数和复相关系数是一个说法吗？
如果黎曼猜想以后被xx人证明了，那以后会被叫做黎曼定理还是xx定理呢？
有哪些不错的数学、物理类的「闲书」？
比0.000······1更小的非0数，是什么？
怎样理解平面向量的数量积是一个实数呢？方向乘方向怎么会有意义？
为什么lnΓ(x)~(x-1/2)lnx-x+1/2ln(2pi）？
「所有正整数之和是负十二分之一」在数学上是没有矛盾的吗？
格林公式教材上的证明是否存在漏洞？
请问这道数学分析题目应该怎么做呢？
1，2，4，8，16，30是什么规律？
线性代数对于计算机专业的作用是什么呢？
请问一下，如何判断各个影响因素的影响程度的大小啊，用什么方法分析呢？
代数拓扑为什么研究同调？
相关系数和R方的关系是什么？
研究软件工程需要哪些数学方面的知识？
请问这道幂级数的题目如何做呢？
是否可以用积分证明球面三角形的面积为 S＝A＋B＋C－π？
球面坐标计算三重积分公式怎么来的？
为什么高中不直接开设高等数学、线性代数、概率统计这几门课呢？
自然常数 e 从小数点后第二位开始的两个 1828 是巧合吗？