导论 本书是讲什么的？

第1章 什么是数学？

1.1 不止是算术

1.2 数学符号

1.3 现代大学数学

1.4 你为什么需要学这些？

第2章 语言的精确化

2.1 数学陈述

2.2 逻辑联结词“与”、“或”、“非”

2.3 蕴涵

2.4 量词

第3章 证明

3.1 什么是证明？

3.2 反证法

3.3 证明条件式

3.4 证明含量词的陈述

3.5 归纳证明

第4章 证明一些关于数的结论

4.1 整数

4.2 实数

4.3 完备性

4.4 序列

附录 集合论

译后记

索引