Finitely axiomatizable class

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