Понятие о формальных системах Формальная норма определение и пример