Математической моделью какой-либо системы аксиом называют любую совокупность (абстрактных) объектов, свойства которых и отношения между которыми удовлетворяют данным аксиомам, служащим тем самым совместным (неявным) определением такой совокупности. И что я несу?)