【本章小结】 　　　本章讨论的是证明论中的逻辑系统，主要内容可概括为： 　　　1． 介绍了λ-演算的基本概念，语法及其所具有的一些基本性质，阐述了λ-演算与形式系统的关系及基础地位； 　　　2． 简单介绍了Scott域的概念、序关系及同构和投影的定义，以及Scott域所具有的不同于其它模型的特点与性质； 　　　3． 重点介绍了Gentzen串行演算的概念及基本思想，包括自然推理系统的概念及树状表示法，Gentzen串行演算的推理规则，直觉主义串行演算的特点，从而阐述了串行演算系统所具有的多方面优点； 　　　4． 通过近邻空间的定义介绍了线性逻辑的思想，揭示了它在语法上的主要特征，以及与Gentzen串行演算的主要区别。