The link does not seem to be working. The clarification that I requested was in relation to substitution formula Sub(x,x_,y) , which says that y is the Godel number of the formula obtained by substituting x_,( the numeral for x) for the free Variable in the formula whose godel number is x. Let G1= godel number of Sub(1,1_,y) G2= godel number of Sub(2,2_,y) and so on.
The question was and is Is Godel numbe of Sub (x,x_,y) a specific number or it is a function of G(x) of x? -Apoorv