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