討論:存在性定理
質疑
[編輯]「嚴格看來，這個定義中就存在着矛盾。因為它是一個關於定理本身的定義，卻用到了關於定理的證明的信息：這樣，純粹存在性定理的定義就違背了定理與證明不相干的原則：一般來說，一個定理應該是一個被證明了的陳述，而不應該依賴於用來證明它的方式。」
文中這句話是有問題的。我們不是說一個定理是純粹存在性的，而是說一個定理的證明是純粹存在性的。—以上未簽名的留言由68.46.20.80（對話｜貢獻）於2013-02-13T22:03:32加入。
「嚴格看來，這個定義中就存在着矛盾。因為它是一個關於定理本身的定義，卻用到了關於定理的證明的信息：這樣，純粹存在性定理的定義就違背了定理與證明不相干的原則：一般來說，一個定理應該是一個被證明了的陳述，而不應該依賴於用來證明它的方式。」
文中這句話是有問題的。我們不是說一個定理是純粹存在性的，而是說一個定理的證明是純粹存在性的。—以上未簽名的留言由68.46.20.80（對話｜貢獻）於2013-02-13T22:03:32加入。