無限集合から２値集合への写像全体の集合はもとの集合より大きいって問題。