大概是羅素悖論證明了Frege對數學邏輯化的失敗，而Goedel證明了整個形式邏輯係統都不能作為有些數學公理係統的基礎。

來源: 露重煙微於 2024-10-26 07:08:00 [舊帖] [給我悄悄話] 本文已被閱讀：次

WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.