選択公理の話はもういい