Формализация как метод теоретического исследования