可列个可列集的并是可列集，这是个定理
【 在 ROTHD 的大作中提到: 】
: 定义如下一个集合，在（0，1）
:
: 第1组元素是所有1位二进制小数
: ...................
--来自微微水木3.5.14
--
FROM 27.29.204.*