您大概误解了，他只是证明了某些公理系统不能同时作到effective, complete and consistent。

来源: 于 2023-11-30 21:37:00 [旧帖] [给我悄悄话] 本文已被阅读：次