展开 如何证明一个集合为可数集