是從頭開始,構建數學的基礎。這個和一百年前羅素要構建數學的基礎類似。

來源: 2025-07-12 08:53:12 [博客] [舊帖] [給我悄悄話] 本文已被閱讀: