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

Мат. axiomatizable type