【计算理论】可判定性 ( 对角线方法 | 证明自然数集 N 与实数集 R 不存在一一对应关系 )_让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )