博文
非构造性证明的经典案例:Cantor–Bernstein–Schroeder定理
|||
Cantor–Bernstein–Schroeder定理是集合论中的基础性定理，其证明的非构造性特点不为直觉主义者所接受.有学者认为以下证明主要依赖排中律（Law of excludedmiddle）,但实际上更依赖于自然数的归纳公理，有了归纳公理，理解无穷才有了可能。
https://blog.sciencenet.cn/blog-976045-715022.html
上一篇：经典数学问题：爱多士-蒙代尔不等式及其可视化证明
下一篇：真理与谬误的距离：康托定理与罗素悖论
