選択公理を認めないと非可測集合が存在しないとしても矛盾がないんですか、ということを聞かれた。 ZFに加えて選択公理を仮定すると非可測集合が作れる、というのは、区間[0,1)を差が有理数であるようなものを同一とみなすような同値類で割って、選択公理で…