"

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

🏷️ 标签: 证明 如果 可能 系统
💬 推荐名言 19句推荐
🎲 随机 · 灵感闪现 ✨ 名言如星,拾光而行