哥德爾原來是說“真的命題”,我為了通俗化用“真的定理”。也許這種通俗化不恰當,那我們回到他說的“真的命題”。

來源: 2025-09-29 20:16:56 [博客] [舊帖] [給我悄悄話] 本文已被閱讀: