你再看看書上是怎麽說的。我估計Godel number和prim number不等同。非定理如

來源: 於 2024-01-15 18:46:15 [博客] [舊帖] [給我悄悄話] 本文已被閱讀：次

∃x((x=0) ∧ (x=1)) 也是有Godel number的（隻要Godel numbers在符號上定義之後）。