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

所有跟帖： 

• 哥德爾是說不存在任何完備的公理體係，叫數學家們別再去鑽牛角尖。其實他是在玩邏輯遊戲，有點像平時說的悖論，對主流數學沒啥影響 -STEMkid- ♂ (0 bytes) () 09/29/2025 postreply 20:23:00

• The impact of the incompleteness theorems on mathematics -大觀園的賈探春- ♀ (133 bytes) () 09/29/2025 postreply 20:32:04

• 你讀了嗎？這不就是篇紀念文章嗎。當時或許重要，但現在 who cares -STEMkid- ♂ (0 bytes) () 09/30/2025 postreply 06:57:29