为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
爱因斯坦作为一个物理学家，他的数学水平有多高？如何看待美国学者称经济学用了错误版本的微积分？
如何对 0，0，0，0 进行运算得到 24？
平均多少个 [a, b] 间的随机数之和才大于 c？
有哪些式子行列式答案等于520？
如何理解n元线性方程组Ax=b,无解的充要条件为R（A）<R（A,b）?
我需要选这样的数学系吗?
有哪些数学定理或者数学知识惊呆了你？
这个级数怎么处理?
这道数列极限题该怎么做啊？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
根号 a（a 为正整数）不是整数，就是无理数吗？有没有可能是分数？任给一个声音的波形f(t)，是否存在一个映射H能把f(t)映射到一个能反映这个声音协和程度的数上？
请问这个人的数学水平如何？
如何形象地理解矩阵的相似与合同？
有理函数的不定积分分母的标准分解的窍门，一些分母较为复杂，如何进行分解？
这样的数学归纳法是否成立？
菲赫金哥尔茨的《微积分学教程》中绪论中关于实数强稠密性的定理怎么理解？
请问这个概念题目有大佬能讲解一下吗？
我好像证明了四色猜想，各位怎么看？
搞基础数学的人是不是都穷？
为什么在数学中，一些运算的逆运算比原运算难很多？
如何看待哈工大校友刘汉清如今靠400元低保度日？
现在的人工智能是否走上了数学的极端？
阅读丘成桐自传《我的几何人生》有什么感悟?
灭霸使用了什么样的随机数生成方法来保证公平？
分析、抽象代数这种课对搞 data science 帮助大吗？
1000桶水，其中一桶有毒，猪喝毒水后会在15分钟内死去，想用一个小时找到这桶毒水，至少需要几头猪？
有哪些让数学专业抓狂的「月经数学题」？
方程 x³+y³+z³=33 是否存在整数解？
我们数学老师发现了一个数学公式，帮忙验证一下看对不对，有哪些验证思路？
这个极限难题如何解决？
为什么祖冲之的355/113等于3.1415929而不是3.1415926?
为什么行列式恰好能表示体积？
如何理解有限单群分类定理？
请问用定积分解决旋转体的体积时，旋转体的图形是怎样的？
这个世界到底是离散的还是连续的？
想成为数学家或物理学家应该怎么做？
十赌九输这句话有根据吗?
各位学霸，为什么这个直接就等于e的a次方了？
大家都是怎样学习高数（微积分）的?