一个一阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一。给出了一个一阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性。