是从头开始,构建数学的基础。这个和一百年前罗素要构建数学的基础类似。

来源: 2025-07-12 08:53:12 [博客] [旧帖] [给我悄悄话] 本文已被阅读: