我觉的老歌应该没有自己的"理论":)

来源: 2024-01-06 13:45:12 [旧帖] [给我悄悄话] 本文已被阅读:

他只是证明了罗素的那一套不完备。

并且顺带证明了任何类似的尝试都会不完备(?)

这是我对他的第二定理的理解:)