所以他證明了羅素和懷特海德想把數學的基礎建立在現代邏輯之上的努力,注定失敗?

來源: 2024-10-26 07:58:43 [博客] [舊帖] [給我悄悄話] 本文已被閱讀: