展开 证明集合是可数集