Формализация [formalization] — описание теорий, осмысленных предложений и т.п. формальными средствами, прежде всего символами математики и математической логики (но бывают случаи и такие, что символами оказываются обыкновенные слова, только безукоризненно четко оговоренного содержания).
Систему таких символов и правил обращения с ними называют формализмом данной науки. Он помогает производить логические заключения, подсчеты и другие операции непосредственно с символами, формулами, выступающими как бы заместителями тех понятий, которыми мы оперируем. Нередко одна и та же формула применяется для описания разных явлений. Поэтому формализованный язык обязательно требует объяснения (интерпретации).