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