axiomatizable

axiomatizable

 英

  • 网络可公理化

例句

An Extension Theorem on Finitely Axiomatizable Algebraic Equation Systems

代数等式公理一个扩充定理