Поиск в словарях
Axiomatizable class
математика
аксиоматизируемый класс