查看原题
ERn 为孤立点集,证明:E 为至多可数集.
                        
不再提醒