讨论:存在性定理

质疑

“严格看来，这个定义中就存在着矛盾。因为它是一个关于定理本身的定义，却用到了关于定理的证明的信息：这样，纯粹存在性定理的定义就违背了定理与证明不相干的原则：一般来说，一个定理应该是一个被证明了的陈述，而不应该依赖于用来证明它的方式。”

文中这句话是有问题的。我们不是说一个定理是纯粹存在性的，而是说一个定理的证明是纯粹存在性的。—以上未签名的留言由68.46.20.80（对话｜贡献）于2013-02-13T22:03:32‎加入。