錯在3這一步。
這裡有一個命題，
“對任意x，若x^2+x+1=0，則-x^2+1/x=0”，是成立的，
但是
“對任意x，若-x^2+1/x=0，則x^2+x+1=0”，是不成立的。
這是因為在x^2+x+1=0的條件下，x+1永遠可以代換成-x^2，但是在沒有這個條件的時候，x+1並不總是與-x^2相等，因此反向代換是不成立的。
就是說，在第三步前面的箭頭，不能是等價，只能是蘊涵。
一個類似的例子，
“對任意a對任意b，若a=1且b=1，則a+b=2”，是成立的，
但是，
“對任意a對任意b，若a+b=2，則a=1且b=1”，是不成立的
那麼，使得x^2+x+1=0成立的x，一定能使-x^2+1/x=0成立，
但是反過來，使得-x^2+1/x=0成立的x，並不一定使x^2+x+1=0成立，那麼x=1自然就不一定使得x^2+x+1=0成立，所以最後得出矛盾並沒有什麼好奇怪的，也說明不了任何問題。
當然，在已知x=1是後者唯一的實數解的情況下，我們可以依此斷言前者沒有實數解，但這是從“對任意x，若x為實數，若非x=1則非-x^2+1/x=0”得出的。
所以解方程的每一步都至少必須是逆蘊涵，也就是“要使……只要使……”的形式，而不是“若……則……”的形式。
/*
另外，這樣的方式的確是可以證明某個理論是“不自洽”的。
如果根據理論“x=1必須使得x^2+x+1=0成立”的同時“x=1並不能使x^2+x+1=0成立”，那麼理論就的確是不自洽的。
不過呢，理論並不能得出“x=1必須使得x^2+x+1=0成立”，這就是他的問題所在了。
// */
// 現在很多就算是讀過大學甚至研究生的人都沒有系統的邏輯能力，這也是很尷尬的事情……明明小學數學就可以教一階邏輯的吧
錯在3這一步。
這裡有一個命題，
“對任意x，若x^2+x+1=0，則-x^2+1/x=0”，是成立的，
但是
“對任意x，若-x^2+1/x=0，則x^2+x+1=0”，是不成立的。
這是因為在x^2+x+1=0的條件下，x+1永遠可以代換成-x^2，但是在沒有這個條件的時候，x+1並不總是與-x^2相等，因此反向代換是不成立的。
就是說，在第三步前面的箭頭，不能是等價，只能是蘊涵。
一個類似的例子，
“對任意a對任意b，若a=1且b=1，則a+b=2”，是成立的，
但是，
“對任意a對任意b，若a+b=2，則a=1且b=1”，是不成立的
那麼，使得x^2+x+1=0成立的x，一定能使-x^2+1/x=0成立，
但是反過來，使得-x^2+1/x=0成立的x，並不一定使x^2+x+1=0成立，那麼x=1自然就不一定使得x^2+x+1=0成立，所以最後得出矛盾並沒有什麼好奇怪的，也說明不了任何問題。
當然，在已知x=1是後者唯一的實數解的情況下，我們可以依此斷言前者沒有實數解，但這是從“對任意x，若x為實數，若非x=1則非-x^2+1/x=0”得出的。
所以解方程的每一步都至少必須是逆蘊涵，也就是“要使……只要使……”的形式，而不是“若……則……”的形式。
/*
另外，這樣的方式的確是可以證明某個理論是“不自洽”的。
如果根據理論“x=1必須使得x^2+x+1=0成立”的同時“x=1並不能使x^2+x+1=0成立”，那麼理論就的確是不自洽的。
不過呢，理論並不能得出“x=1必須使得x^2+x+1=0成立”，這就是他的問題所在了。
// */
// 現在很多就算是讀過大學甚至研究生的人都沒有系統的邏輯能力，這也是很尷尬的事情……明明小學數學就可以教一階邏輯的吧