【本章小结】 　　　本章讨论了一阶形式理论及其模型的基本概念及重要结论，主要内容可概括为： 　　　1． 介绍了一阶语言及一阶理论的概念和定义，以及它们的基本构成，并给出了形式语言的示例。 　　　2． 详细介绍了Godel完全性定理的内容及其完整证明，并阐述了证明中包含的重要思想及其理论意义。 　　　3． 通过Lowenheim-Skolem定理及Herbrand定理的介绍进一步深化了一阶理论语法及语义之间的关系，引出了半可判定算法的概念及其实用价值。 　　　4． 通过一阶形式理论的介绍，详细讨论了Godel不完全性定理，给出了证明的主要思路和重要方法以及详细的证明，论述了该定理的重要理论意义和影响。 　　　5． 同时还给出了Godel第二不完全性定理和广义Godel不完全性定理的内容。本章是本门课程中重要结论最多，同时理论层次最深，证明内容最多的章节。