一阶逻辑语言独立性证明

摘要

独立性是公理系统的重要性质之一。本文给出一阶逻辑的一个公理系统独立性的证明，其中大量运用了归纳原理和
字符串规则，归纳原理包括数学归纳法和逻辑语言归纳法则等，字符串规则包括自由出现定义，替换定义以及无冲突地替换
定义等，并从语法和语义方面分析了每条公理模式和规则的特征。本文突出的数学思想方法同样值得研究探讨。