A new algebraic proof of completeness of first order logic

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