摘要： 4 一阶逻辑：证明论 4.5 完全性定理 预备 Q: 完全性定理是说“真值为真推出是定理”还是“重言式是定理”？ A: 对于FOL，两者都不对。是“逻辑有效（任何解释真值为真）”推出是定理。 Q: 命题逻辑完全性定理Henkin证法：$\mathscr A$不是定理则其否定$\sim\mathscr 阅读全文