>>857
逆に考えるんだ。

複素数体の体自己同型で、ルート2をマイナスルート2に写すものが
存在するという事実がパラドックスと。