可換環論なんか選択公理なしじゃ極大イデアルの存在も言えない。

複素数体の体自己同型で、ルート2をマイナスルート2に写すものだって非構成的にしか作れない。