您这个理解比较小众。

来源: 2024-10-26 20:44:49 [旧帖] [给我悄悄话] 本文已被阅读:

但即使像您这样理解,也和不完备定理没有什么关联。所有正确的形逻证明都是不变的(最起码在其公理系统),否则就不叫证明了。