可算個の集合からそれぞれ元を選ぶのに「可算選択公理」が必要と思い込んでるのかも?