第 1 章：函数、集合与数学陈述¶ 本章建立集合、量词、证明和函数四种分析语言；它们是后续全部定义与证明的表达基础。 集合怎样组织数学对象？ 量词怎样改变一句话？ 什么算作一个有效证明？ 函数为何不只是“公式”？