Формализованные языки науки пример Формализованные теории Выбери примеры формализации есть два правильных ответа