哥德尔原来是说“真的命题”，我为了通俗化用“真的定理”。也许这种通俗化不恰当，那我们回到他说的“真的命题”。

来源: 于 2025-09-29 20:16:56 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次