An Extension Theorem on Finitely Axiomatizable Algebraic Equation Systems

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