展开 证明可数集合是最低阶的无穷集合