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