展开 如何证明一个集合是可列集