изучение и представление содержания какой-либо области знания, теории и т.п. в виде формальной (логической) или математизированной системы.
