您大概誤解了,他隻是證明了某些公理係統不能同時作到effective, complete and consistent。
來源:
露重煙微
於
2023-11-30 21:37:00
[
舊帖
] [
給我悄悄話
] 本文已被閱讀:次