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

来源: 蒋闻铭 于 2025-07-12 08:53:12 [] [博客] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
请您先登陆，再发跟帖！