是从头开始,构建数学的基础。这个和一百年前罗素要构建数学的基础类似。
来源:
蒋闻铭
于
2025-07-12 08:53:12
[
博客
] [
旧帖
] [
给我悄悄话
] 本文已被阅读:次