不甚明了

来源: 于 2023-12-01 10:16:01 [旧帖] [给我悄悄话] 本文已被阅读：次

你前面关于逻辑一阶高阶，也不是十分明了

但你的表示方式跟我对Godel证明的理解相似