ФОРМАЛИЗ́АЦИЯ, представление и изучение к.-л. содержат. области знания (науч. теории, рассуждения, процедур поиска и т.п.) в виде формальной системы или исчисления.