GEB是从G不是一个Theorem开始讲起的。这和Liars Paradox一样,

来源: 2024-01-15 19:11:12 [旧帖] [给我悄悄话] 本文已被阅读:

从“这个句子是对的”是推不出矛盾的,要从“这个句子是错的”才能推出来。