为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
为什么两个数的公约数都是他们最大公约数的约数?如何证明呢？
如何才能让学的数学灵活起来，或者说融会贯通？
''余数定理''可以用什么简单通俗的语言解释吗?
为什么前人花了大量时间，用他们的聪明才智发现的定理，后人只要花相对很少的时间就能弄明白？
正切函数tanx这个部分分式无穷级数展开式怎么证明?
这个全微分怎么求？
这种游戏规则是否有必胜策略？
克劳德·香农算不算正统的数学家？
有哪些千年以上时间才解决的数学问题?
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
高一怎么恶补数学？如何处理这类三个连乘的积分呢？
两条直线真的画不出一个圆吗？
中学阶段解出一道很难的数学题和在数学研究领域做出重大突破的区别在哪？
这道题如何用柯西审敛准则证明收敛?
海上两艘孤船仅凭信号灯能否逐渐建立沟通？
真分式的不定积分 分母部分有根号怎么处理（题）？
迹的几何意义是什么？
哪些看似毫不相干的事物具有相同的数学原理？
第十题证明题不会写，哪个大佬帮我看一下?
这道证明题该怎么做？
若 f(f(x))=x²+1，则 f(1) 为多少？
有哪些数学上的事实，没有一定数学知识的人不会相信？
数学学来有什么用？
如何求解洛朗级数?
有理数的开方，是否能取遍实数？ 换句话说，是否存在无理数，不是某有理数的开方？
你有没有在某个瞬间觉得数学是美的，或者被数学震撼到？
如何评价四川大学数学学院付昌建老师?
物理系应该最好怎样对待数学？
为什么有的无理数可以用有理数表示？
数学应该如何自学？
为什么高等教材中极少出现 ÷（除号）？
一个数学问题，(x1+x2+……+x8+1)的8次方，合并同类项后有多少项，类似问题怎么解决？
时间为什么用 12 进制？
为什么阿基米德不肯向欧几里得学习？
是否存在一个函数，在它定义域内连续，递增，但处处不可导？
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？
剩余类环的所有理想怎么求？
计算复杂性理论是否具有足够的现实意义，如今有哪些比较「现实」的应用？
如何用导数解决这道题?