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

Мат. axiomatizable class