A类证明它间接地显示了数学对象的存在，而没有提供用于生成示例的特定示例或算法。非结构性证明也称为存在性证明。
另请参见
构造性证明,存在问题,存在定理,证明
与Wolfram一起探索| Alpha
工具书类
Courant，R.和Robbins，H.《间接证明方法》第2.4.4节什么数学吗思想和方法的基本方法，第2版。牛津，英国：牛津大学出版社，第86-87页，1996年。P.霍夫曼。这个只爱数字的人：保罗·埃尔德的故事与数学探索真相。纽约：Hyperion，第229页，1998年。参考Wolfram | Alpha
非破坏性证明
引用如下：
埃里克·魏斯坦（Eric W.Weisstein）。“非破坏性证明。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/NonconstructiveProof.html
主题分类
