数学证明/前言

有时人们阅读数学证明，会觉得像在读一门外语。本书介绍了数学证明中使用的语言，以及数学中使用的不同类型的证明。这些知识对于发展严谨的数学至关重要。因此，阅读本书并不需要事先具备严谨的数学知识。本书将使用一些 集合 和 逻辑 符号进行交流，在学习完前两章关于集合论和逻辑的更多内容后，你应该熟悉这些符号。

在 非正式地介绍 集合论 (即不强调集合论中的公理) 和 逻辑 后，我们将准备好学习 数学证明方法。之后，我们将讨论一些对数学更高级主题至关重要的基本概念。