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

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

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

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

所有跟帖： 

• 我的問題：）我看了兩本書，沒說清楚。 -JSL2023- ♂ (61 bytes) () 01/15/2024 postreply 18:31:36

• 你再看看書上是怎麽說的。我估計Godel number和prim number不等同。非定理如 -youdecide- ♂ (331 bytes) () 01/15/2024 postreply 18:46:15

• Kowtow，你的理解是對的：）改一下，多謝。 -JSL2023- ♂ (85 bytes) () 01/15/2024 postreply 19:04:14

• 可能prim number是Godel number，但所有的Godel numbers並不都是prim numbers -youdecide- ♂ (0 bytes) () 01/15/2024 postreply 19:04:16

• 多二頁供參考：） -JSL2023- ♂ (82 bytes) () 01/15/2024 postreply 19:20:38

• 大概地理解了一些。形式上把G變成Quine’s paradox。 -youdecide- ♂ (0 bytes) () 01/15/2024 postreply 20:42:52