正文

无限集(任意无限集必包含一个可列子集)

安然