= 前言

数学的学习，需要一些基本的思想和工具作为方法论去开展。本篇旨在作为数学的入门和基础思维工具，提供逻辑的基本概念，介绍逻辑的基本运算、逻辑的量词以及一些相关的定理。涉及一些常用的数学证明方法，同时还会介绍一部分基础的集合论的概念，足够在后续使用即可。

逻辑和集合都大有文章，它们都形成了各自的庞大的研究领域，要深入了解还需要更多的知识和能力，且它们研究的是更为基础和深刻的命题。以后学到了再说。

参考：
+ <NAME>. _A Mathematical Introduction to Logic_.
+ <NAME>. _Analysis_.
