>>409
>方程式x^2-2x＋3=0 は∃x[x^2-2x＋3=0]と書くのが正しいと書いてあるので

これ書いた奴が悪い。
方程式の解が存在しない場合を無視してるわけだし。