无情快进
他们两个都是对cantor 对角线法的应用 对角线法的美妙,就是,你允许我定义,那我就给你一个反例