代数等式系有穷公理化的一个扩充定理

• An Extension Theorem on Finitely Axiomatizable Algebraic Equation Systems