【本章小结】 　　　本章讨论了谓词逻辑的公理化，主要内容可概括为： 　　　1． 介绍了谓词逻辑的公理系统的概念和基本构成，并通过示例给出了利用公理系统进行定理推演的方法，还介绍了谓词逻辑完备性定理的内容及其证明思路； 　　　2． 介绍了谓词逻辑的自然演绎系统的概念与基本构成，通过示例给出了定理推演的过程，重点强调了该系统比公理系统方法的优越性； 　　　3． 介绍了递归函数的定义和主要概念以及它与可计算性的内在联系，重点讨论了主要的递归规则，并给出了原始递归函数的示例以及运算定理的证明； 　　　4． 简要介绍了相等词和摹状词的概念及其主要性质。