展开 怎么证明集合可数