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

• A new algebraic proof of completeness of first order logic