Понятие формализации в теоретическом познании