【本章小结】

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