为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
为什么实系数多项式方程的虚数解总是成对出现？究竟如何理解 dx？
为什么在数学中，一些运算的逆运算比原运算难很多？
高等数学里的概念和定义，为什么不能再简单些呢？
明末清初的传教士为什么都知道数学天文历法自然科学？他们是某些个例还是普遍现象？
超理论坛是个怎样的论坛？
有哪些神奇的数学巧合？
经历20年的科研发现一个怪现象：创新性越强的文章越难发表，而跟风之作和修修补补的文章容易发，你觉得呢？
数学在高考中占150分你怎么看？
我这种情况，是否可以从事数学研究?
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
如果1+1=3，这个世界会怎么样？求助，这个函数的极限怎么求？
世界上是不是不存在完美的圆？
不想学数学怎么办？
(a+b)!/(a!b!) 的结果一定是整数吗？如果是，如何证明？
如何利用群论的知识解决三阶魔方？
有哪些具有特殊性质的数字？
1+2+4+8+16+32+64+128+256+...=-1 错在哪里？
「大数定律现象」的成立是数学推出的结果么？
用向量方法证明海伦公式划线的地方没明白⊙ω⊙？求详细过程！？
圆周率 π 的这个连根式展开公式怎么证明？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
在开区间上无界的连续函数一定不一致连续吗？
数学论文的作者是怎样排序的？
波恩哈德·黎曼这个人有多强？
学习经济要达到怎样的数学水平？
什么情况下比值判别法失效？
请问这个三重积分怎么计算？
大家有人知道这个怎么解吗？
狄利克雷函数（Dirichlet Function）有什么用处？
有理函数的不定积分分母的标准分解的窍门，一些分母较为复杂，如何进行分解？
用十二进制替换十进制是不是更符合自然规律？
数学专业出身的口算能力会比其他人强很多吗？
请问如何推导矢积的行列式表达呢？
学什么数学，为什么不直接学逻辑，为什么不把数学改成逻辑？
请问这个三重积分该如何做？
你有没有在某个瞬间觉得数学是美的，或者被数学震撼到？
请问下面两个极限问题如何解决？
牛顿的数学知识储备如何？
数学需要回归简美贴近大众吗？