Формализация – построение модели, в которой содержанию размышления соответствуют формальные аналоги. Слова обычного языка заменяются в нем отдельными буквами и различными специальными символами.