思い出した
非可算個が空でなければ
それぞれの中に有理数があるから
有理数が可算であることに反する
だった