"

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

🏷️ 标签: 证明 如果 可能 系统
💬 推荐名言 19句推荐
继伽利略、牛顿以来最伟大的物理学家
正邦科技创始人,饲料业领军者
中国现代文学的奠基人之一
中国台湾著名批评家、作家、评论家、历史学家
🎲 随机 · 灵感闪现 ✨ 名言如星,拾光而行