Но никакой предок ни одной из этих формул не может выступать в роли расположенной выше главной формулы (так как все применения предикатных правил расположены Ниже).

But no ancestor of one of these formulas plays the role of a principal formula higher tip (since all predicate inferences are below).

Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973