为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
我在知网的《哥德巴赫猜想》简单证明能否被数学权威发现？这道怎么求极限?
一道数学分析题? 应该如何做呢?
如何证明不等式(x+1)^(1/(x+1))+x^(-1/x)>2 ?
给定正整数 n，将 1 拆分为 n 个互不相同的单位分数之和，不计次序，有几种拆法？
为什么无穷多个无穷大的乘积不一定是无穷大？
如何定性定量运用数学语言描述修昔底德陷阱？
如何正确理解小概率事件，以及概率和哲学的关系？
有什么理论复杂但是实现简单的算法？
有一个数学很好的男朋友是一种怎样的体验?
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
这个题如何用Stolz定理？世界上大约有多少人可以完全看懂并理解怀尔斯对于费马大定理的证明？
如何看待哈佛大学数学教授姚鸿泽认为分析，几何和拓扑当初学不应当过于纠结细节，而应当快速进入核心内容？
怎样理解任何有限集都是紧集？
为什么写程序的时候可以坚持很久，但是学习数学就很难保持注意力？
我好喜欢数学，学不好，怎么办？
确定正弦函数图象需要几个点？
国内的数学系本科是不是代数的训练不够？
数学中那些充满构造性的证明是怎样想到的，有没有可以遵循的一般性的数学思想方法？
有没有办法从数学上定义脸蛋的光滑性？
为什么高等教材中极少出现 ÷（除号）？
国内大学数学系都上什么课程？
有没有处处不可导的凸函数？
被高数虐是一种怎样的体验？
我教小学数学，今天家长在微信群里发了一个链接，问我第一题怎么算，我该如何回答？问题如图所示?
如何通俗易懂地解释卷积？
n维空间里的n个向量的最小夹角的最大值是什么？
Γ（i）怎么算？
概率论中，局部极限定理和积分极限定理不是一回事吗？
如何通俗易懂地解释「协方差」与「相关系数」的概念？
《从一到正无穷》第三章的空间想象是什么意思？
可以留下一个优美的恒等式吗？
既然点没有长度，为什么线段就有长度？
一个长宽高之和为固定数值的长方体，其体积范围怎么变化?
家境普通的姑娘想学物理或数学，怎么看？
分母（除数）为什么不能为 0？
数学大佬，这个怎么做？
关于这个函数项级数，有没有一些研究成果？
为什么不能直接把哥德巴赫猜想作为一个公理？
是否可以根据薛定谔的平行宇宙理论推翻概率学？