axiomatizable class

Мат. аксиоматизируемый класс