axiomatizable

axiomatizable

美  英

  • 网络可公理化

例句

An Extension Theorem on Finitely Axiomatizable Algebraic Equation Systems

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