極大イデアルの存在を言うために選択公理を使うのは抵抗ないのに
極大無矛盾理論のときはなんかひっかかる

考えてみればおかしな話だ