無限集合は必ず可算無限部分集合を持つ
選択公理か