为什么数学上证明必然正难则反易——补集思想，原理出处？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
在数理逻辑中，可证的命题意味着经过有限次演算就能将已知与未知连接。简单地说，也就是存在由此及彼的“距离”。只要距离有限，总会存在一个已知与该未知距离最近，那么反过来就会最远，只要不在两者的中点位置就行(这样的话就一样远，所以难度一致了)。
示意图如下：
A为待证的命题，B、C为已知点。
题主所说的全集无限大的情况，这个时候如上所述的距离是有限的吗？如果是无限的话，那么按照可证的定义，这个命题不能经过有限次演算完成，那么就是不可证的了。所以题主所说的原理事实上是在可证命题的前提下，才是合理的。
以上我暗含多个假设，对命题的“难易”简单地定义为距离长短，而忽略了主观层面的因素。
1
相关话题
如何看待京都大学的望月新一教授证明「ABC 猜想」，发表在其主编的期刊上？请问这个函数与不等式问题该怎么解答？
如何判断下面这个级数的敛散性？
《现代数学基础丛书》的封面图有什么数学背景？
数学是人类独有的吗?
数学系大一学生学习数分时看一页书花 20~30 分钟合理吗？
能用高等数学手段研究人文社科问题吗？
这个数学问题有解吗，有哪些好的处理思路？
是什么让数学对数学家来说「容易」？是他们大脑的机构与普通人不一样吗？
矩阵思维是什么意思？
前一个讨论
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何判断向量组是否线性相关？
相关的话题
如何评价吴文俊《东方数学的使命》？一个函数经过傅立叶变换，再经过傅立叶逆变换得到的函数还是原函数吗？
如果我的将来梦想是取消数学这门学科，我该怎么做，或者谁可以帮忙实现它？
如何看待哈工大校友刘汉清如今靠400元低保度日？
狄利克雷函数（Dirichlet Function）有什么用处？
迹的几何意义是什么？
如果 1+1 等于 3，其他不变，比如 1+2 还是等于 3，那世界会是什么样的？
为什么数学界研究人员作报告 PPT 风格都长得一样？
0! = 1，1! = 1，怎么解释 1 ≠ 0？
牛顿莱布尼兹公式指出求导和积分互为逆运算。从几何的角度看求斜率和求面积似乎并没有直接联系？
是否能通俗的介绍一下什么叫协变微分？
过反比例函数上任意三点连成的三条线段的中点的圆过定点吗？为什么？
如何看待西南某一211高校的数学系前20名中16人选了应用数学4人选了统计学，现在数学这么香吗？
在数学中，如果推翻了一条很基础的公理，那么会造成什么后果？
如何证明这两个微分方程具有相同的轨线？
如下，命题是否正确，如果正确，又是如何得出的？
设A,B,C均为n阶半正定实对称矩阵，使得ABC是对称阵.证明:ABC也是半正定阵.请问该怎么证明？
没有阿拉伯数字、拉丁字母和希腊字母，古代中国的数学是什么样的情况？
一个具有介值性的函数是否一定存在原函数？
有“数学公式”编程吗？如维基百科粘贴一个LaTeX公式，赋初值后，就能计算出结果？
散度和旋度的物理意义是什么？
Ln(-3-3i)等于多少？
sinx求导为什么是cosx？
给 n 个数的加法加括号的方法有多少种？
说数学是「自洽」的是什么意思？
如何评价知乎用户@Aries？
这张图中能数出多少个三角形？
如何证明存在 1000 个连续的正整数中恰好有五个素数？
为什么九宫格外面一圈数字顺时针或逆时针排列组成的八位数都能被 11 整除？
这个冲激函数的积分怎么做？