摘要：
相关： 第一数学归纳法 vs 第二数学归纳法 vs 良序定理 第二数学归纳法：硬币问题和堆垛游戏 第一数学归纳法：施塔特中心的地板砖 良序原理：算术基本定理的证明 *任何非空的非负整数集合都有一个最小的元素。* 首先不要把良序原理（Well-ordering principle）和良序定理（Well 阅读全文
摘要：
非构造性证明是“表述存在性的 "命题" 或 "定理" ”的一种 "证明" 方式：证明的过程中，不举例而只证明语句是否正确。非构造性证明很多时候依赖于 "排中律" 。 "数学结构主义" 数学不允许非构造性证明。 原文问题： If we raise an irrational number to an 阅读全文