非构造性证明是一种证明，它间接表明数学对象存在，但不提供具体的例子或产生例子的算法。非构造性证明也称为存在性证明。
非构造性证明
另请参阅
构造性证明， 存在性问题， 存在性定理， 证明使用 Wolfram|Alpha 探索
参考文献
Courant, R. 和 Robbins, H. "The Indirect Method of Proof." §2.4.4 in What Is Mathematics?: An Elementary Approach to Ideas and Methods, 2nd ed. 牛津，英格兰: Oxford University Press, pp. 86-87, 1996.Hoffman, P. The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth. 纽约: Hyperion, p. 229, 1998.在 Wolfram|Alpha 上引用
非构造性证明引用为
Weisstein, Eric W. "Nonconstructive Proof." 来自 MathWorld--一个 Wolfram Web 资源。 https://mathworld.net.cn/NonconstructiveProof.html