哥德爾說得是有些數學係統,一階邏輯是完備的。

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