>>572
極論すると、選択公理を使って極大イデアルの存在を証明してもいいの？って話になる。