>>812
>実数と違って複素数は大小の比較ができない
は嘘であることは事実。実際ZFCでは整列順序が存在し大小比較可能。
という指摘への反論になってない。