“G的数字有两种可能，是不是G?del 数” —-我的理解，如果G是那个公式，G应该有Godel数（即使公式不是定理）。

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