只要证明了,在它的公理系统中就不会不正确,这是“必然” 的意思。

来源: 2024-10-31 12:46:41 [旧帖] [给我悄悄话] 本文已被阅读: