隻要證明了,在它的公理係統中就不會不正確,這是“必然” 的意思。

來源: 2024-10-31 12:46:41 [舊帖] [給我悄悄話] 本文已被閱讀: