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

Godel用符號的Godel數的prime number次方，乘起來定義formula的Godel number。

你讀的書可能用了其它的方法定義Godel數。

Godel數不對應定理。我記得你上次提到的prim numbers可能和定理有關。