全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题

摘要

本文指出了国内一些有影响的数理逻辑教材或专著中存在的一个重要错误 :一方面在定义一阶逻辑形式系统的公理和规则时不正确地使用了“可证”这个概念 ;另一方面又自相矛盾地叙述和论证了受限制的演绎定理。