>>354
非可測集合の存在性を認めるときに選択公理が必要になる。
時枝記事では非可測集合について言及しているが。