>>608
極大イデアルの存在は選択公理をつかってるし、
複素数体の自己同型で非自明なものを考えようとしたら非構成的手法を使わざるを得ない。