Понимание формализации: идеи и подходы