您大概誤解了,他隻是證明了某些公理係統不能同時作到effective, complete and consistent。

來源: 2023-11-30 21:37:00 [舊帖] [給我悄悄話] 本文已被閱讀: