「阿尔弗雷德·塔斯基(Alfred Tarski),他在1948年就证明了,如果是一个封闭的实数系统,那它就有可能是完备的,也是自洽的。」- 万维钢经典语录

"

阿尔弗雷德·塔斯基(Alfred Tarski),他在1948年就证明了,如果是一个封闭的实数系统,那它就有可能是完备的,也是自洽的。

🏷️ 标签: 证明 如果 可能 系统
👤 更多 万维钢 经典语录 10句
🏷️ 相关主题推荐 10句
🔥 热门推荐 10句
首页 作家 💬 查看更多 40句相邻名言
🎲 随机 · 灵感闪现 ✨ 名言如星,拾光而行