前から気になってるのは系3.12と選択公理の関係