axiomatizable
美 英
例句
An Extension Theorem on Finitely Axiomatizable Algebraic Equation Systems
代数等式系有穷公理化的一个扩充定理