В книге Теорема, доказывающая в логиках высшего порядка , стр. 77, есть пример, который показывает:
Структура доказательства, использованная в этом примере, предназначена для расчета.Тогда правая часть самого последнего уравнения должна быть равна левой части текущего уравнения, как показано ниже:
Можетобъясните пожалуйста, что происходит в примере 1?