展开 证明可数集合列的上极限集是可数集