无穷的"大小"比较方法：一一对应是最终裁判

判断两个无穷集合谁"更大"的唯一合法方法是看是否存在一一对应——如果能建立双射就"一样大"，如果不能就"不一样大"。这个方法完全绕过了"逐个清点"的不可能性，用结构关系取代了枚举操作。它的启示是：当你无法直接比较两个复杂事物时，试着找到一种保持结构的映射关系。