论文标题
一阶逻辑的有限公理检查中的独立问题
Independence questions in a finite axiom-schematization of first-order logic
论文作者
论文摘要
我们回顾了一些独立性结果，导致了诺曼·梅吉尔（Norman Megill）引入的经典一阶逻辑的有限公理检查。我们还证明，该系统的某个公理方案是独立的，尽管其所有实例都可以从其他公理方案中证明。
We review some independence results in a finite axiom-schematization of classical first-order logic introduced by Norman Megill. We also prove that a certain axiom scheme of this system is independent although all of its instances are provable from the other axiom schemes.
