章节大纲01集合与映射要解决的核心问题与适用边界02集合与映射的基本对象、符号和严格定义03集合与映射的最小背景假设与第一个可检验例子04集合与映射的典型计算、反例与常见误区知识关系motivateslogic-and-quantifiers