Англо-русский научно-технический словарь:
axiomatizable class
математика
аксиоматизируемый класс