Определение без критериев

[Sinoid]

Здравствуйте! Помогите, пожалуйста, добить главу книги, осталось пара тупиков. Смотрите.
Определение терма:

все понятно.
Определение формулы:

ясно. Определение связанного(свободного) вхождения переменной в формулу:

отлично, почему бы и не дать такое определение: по определению формулы в нее могут входить или нет кванторы. Мне все ясно!
Определение связанного(свободного) вхождения переменной в терм:

вот тут полный тупик. Как можно давать такое определение, если в терм, по определению не входит ни квантор существования, ни квантор единственности? Разжуйте, пожалуйста.

[arseniiv]

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