待验证50% 置信事实精确时间

波尔查诺-魏尔斯特拉斯定理的成立依赖于实数的完备性（最小上界性质），而完备性正是柯西序列构造实数所要保证的核心性质。

1

来源数

50%

置信度

长期有效

时效性

2026/10/27

首次发现

来源

AI能写出人类看不懂的数学证明吗？

涉及实体

波尔查诺-魏尔斯特拉斯定理concept 实数的完备性concept 柯西序列concept

相关事实

待验证戴德金通过分割构造实数，康托尔通过柯西序列的等价类来定义实数75% 相似待验证费马大定理的最终证明是在代数几何的概形框架下完成的67% 相似已验证陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理63% 相似待验证波尔查诺-魏尔斯特拉斯定理在有理数集ℚ上不成立，例如√2的有理近似序列有界却不在ℚ中收敛。63% 相似待验证欧拉证明了每个偶完全数都可以写成 2^(p−1) × (2^p − 1) 的形式，其中 2^p − 1 是梅森素数63% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1104668

API

curl https://kongchang.com/api/v1/knowledge/claims/1104668

MCP

get_claim(id=1104668)