Мат.логика. Гёделевы номера

[Liza_veta]

надо найти геделев номер след.выражения(аксиомы):
$A(0)\supset ( \forall x(A(x)\supset A(x')) \supset \forall x A(x))$ , где A(x) - произвольная формула теории S.
мой вопрос о геделевом номере A(x'). в учебнике Мендельсона написано про x' - "непосредственно следующее за х". но как формально расписать? как он связан с х? чтобы затем подставить в функцию Sub(y,u,v), которая возвращает "геделев номер результата подстановки терма с гед.номером u вместо всех свободных вхождений перем. с гед.номером v в выр-ие с гед.номером y"( Мендельсон)

[Xaositect]

Ну $x'$ это, как Вы уже заметили, терм.
Как у Мендельсона определяется гёделев номер терма?