本书围绕着“逻辑与演绎”的话题，反思历史，讲述数学是怎样通过一批大数学家的出色工作，从不严格逐步走向严格的；联系中学数学的各个分支，进行了详细而又比较严密的逻辑分析，力图通过深入浅出的描绘，对各个系统结构的多角度剖析，以及数学逻辑问题的有益探讨，为读者提供一幅多彩的出人意外的新画卷。

引言

一 数学怎么会与逻辑结缘

二 中学数学的逻辑分析（一）

三 中学数学的罗辑分析（二）

四 数学公理化方法

五 逻辑的与非逻辑的统一

结束语

主要参考资料

这一挫折的教训是巨大的：严格的演绎系统的证明中，不能借助于直观性；不能在其中偷偷地运用它的等价命题。