暨南大学离散数学周密试卷数理逻辑与集合论—参考试卷解析 第4页