для неё признаков, использование которых позволяет понять её более
содержательным образом (Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова.1970.)отображение результатов мышления в точных понятиях или утверждениях. В этом смысле формализация противопоставляется содержательному или интуитивному мышлению (Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г.Панов. 1983.)
описание теорий, осмысленных предложений формальными средствами, прежде всего символами математики и математической логики (Экономико-математический словарь: — М.: Дело. Л. И. Лопатников. 2003.)