is axiomatizable
是可公理化的
axiomatizable theory
可公理化理论
not axiomatizable
不可公理化的
axiomatizable system
可公理化系统
fully axiomatizable
完全可公理化的
axiomatizable logic
可公理化逻辑
easily axiomatizable
易于公理化的
axiomatizable class
可公理化类
recursively axiomatizable
递归可公理化的
finite axiomatizable
有限可公理化的
this theory is not axiomatizable in first-order logic.
这个理论在一阶逻辑中不可公理化。
the class of all finite structures is not axiomatizable.
所有有限结构的类是不可公理化的。
some mathematical theories are easily axiomatizable.
一些数学理论很容易公理化。
the system can be recursively axiomatizable if it satisfies certain conditions.
如果满足某些条件，这个系统可以递归公理化。
not every infinite structure is axiomatizable.
并非每个无限结构都是可公理化的。
this logic turns out to be finitely axiomatizable.
这种逻辑最终是可以有限公理化的。
the theory is known to be positively axiomatizable.
这个理论已知是正可公理化的。
we prove that the axioms are not easily axiomatizable.
我们证明这些公理不容易公理化。
these structures are axiomatizable by a set of simple rules.
这些结构可以通过一组简单的规则公理化。
the theory becomes axiomatizable when we add new primitives.
当我们添加新的原始概念时，这个理论变得可公理化。
it remains an open question whether this class is axiomatizable.
这个问题仍然是开放的，即这个类是否可公理化。
the property is not generally axiomatizable in the usual sense.
这个性质在通常意义上一般不是可公理化的。
is axiomatizable
是可公理化的
axiomatizable theory
可公理化理论
not axiomatizable
不可公理化的
axiomatizable system
可公理化系统
fully axiomatizable
完全可公理化的
axiomatizable logic
可公理化逻辑
easily axiomatizable
易于公理化的
axiomatizable class
可公理化类
recursively axiomatizable
递归可公理化的
finite axiomatizable
有限可公理化的
this theory is not axiomatizable in first-order logic.
这个理论在一阶逻辑中不可公理化。
the class of all finite structures is not axiomatizable.
所有有限结构的类是不可公理化的。
some mathematical theories are easily axiomatizable.
一些数学理论很容易公理化。
the system can be recursively axiomatizable if it satisfies certain conditions.
如果满足某些条件，这个系统可以递归公理化。
not every infinite structure is axiomatizable.
并非每个无限结构都是可公理化的。
this logic turns out to be finitely axiomatizable.
这种逻辑最终是可以有限公理化的。
the theory is known to be positively axiomatizable.
这个理论已知是正可公理化的。
we prove that the axioms are not easily axiomatizable.
我们证明这些公理不容易公理化。
these structures are axiomatizable by a set of simple rules.
这些结构可以通过一组简单的规则公理化。
the theory becomes axiomatizable when we add new primitives.
当我们添加新的原始概念时，这个理论变得可公理化。
it remains an open question whether this class is axiomatizable.
这个问题仍然是开放的，即这个类是否可公理化。
the property is not generally axiomatizable in the usual sense.
这个性质在通常意义上一般不是可公理化的。
探索常用高频词汇