Каждая формула, входящая в антецедент ( сукцедент) какой-либо секвенции из доказательства в 01, не содержащего ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Клини С.К.
Введение в математику
Каждая формула, входящая в антецедент ( сукцедент) какой-либо секвенции из доказательства в 01, не содержащего ни сечений, ни применений ID - и - - правил, служит подформулой некоторой формулы, входящей в антецедент ( сукцедент) конечной секвенции этого доказательства.