你再看看书上是怎么说的。我估计Godel number和prim number不等同。非定理如

来源: 于 2024-01-15 18:46:15 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次

∃x((x=0) ∧ (x=1)) 也是有Godel number的（只要Godel numbers在符号上定义之后）。