An algebraic proof of completeness theorem of first-order logic

• 一阶逻辑完备性定理的代数证明