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

所有跟帖： 

• 哥德尔是说不存在任何完备的公理体系，叫数学家们别再去钻牛角尖。其实他是在玩逻辑游戏，有点像平时说的悖论，对主流数学没啥影响 -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