Статья 498

Первое из них имеет вид анализ с заменой во всей конфигурации цифры на цифру. В нашем случае будем иметь.
Теперь можно осуществить процедуру перенумерации, и в результате получим.
Последняя конфигурация будет стандартным натуральным выводом. В этом выводе мы уже не различаем аналитические и синтетические правила вывода.
Может оказаться, что конфигурация имеет вид и в конфигурацию входит формула. Непосредственно Мы не можем применить сформулированное выше правило удаления дырки. Предварительно необходимо применить правило реитерации, где формула входит за номером. После этого правила реитерации можно уже применить правило удаления дырки.
Продемонстрируем изменение правила реитерации на примере. Пусть требуется доказать формулу. Задача формулируется в виде
Применяя, получаем допущение.