"
阿尔弗雷德·塔斯基(Alfred Tarski),他在1948年就证明了,如果是一个封闭的实数系统,那它就有可能是完备的,也是自洽的。
💬 推荐名言
19句推荐
🎲 随机 · 灵感闪现
✨ 名言如星,拾光而行
阿尔弗雷德·塔斯基(Alfred Tarski),他在1948年就证明了,如果是一个封闭的实数系统,那它就有可能是完备的,也是自洽的。