АКСИОМАТИЗИРУЕМЫЙ КЛАСС

аксіоматизо́вний клас

аксиоматизируемый класс—класс однотипных моделей определяемый системой аксиом. Класс Кмоделей формального языка Lназ. аксиоматизируемым конечно аксиоматизируемым если существует конечная система...Математическая энциклопедия