非可測集合の存在は、選択公理よりも弱いブール素イデアル定理から導かれるらしい。
知らんけどw