Godel number 先在符号上定义，再在公式上定义。你可以查下Godel numbering。

Godel用符号的Godel数的prime number次方，乘起来定义formula的Godel number。

你读的书可能用了其它的方法定义Godel数。

Godel数不对应定理。我记得你上次提到的prim numbers可能和定理有关。