其實Goedel主要是關於算術係統的。但不是所有數學都和數字有關。同時一階邏輯和標準ZFC都是完備的。

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