Unverified50% confidenceFactExact time
The Bolzano-Weierstrass theorem does not hold in the set of rational numbers ℚ; for example, a bounded sequence of rational approximations to √2 does not converge in ℚ.
1
Sources
50%
Confidence
Long-term
Relevance
10/27/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedFermat's Last Theorem states that when the integer n is greater than 2, the equation x^n + y^n = z^n has no positive integer solutions.64% similarUnverifiedThe validity of the Bolzano-Weierstrass theorem depends on the completeness of the real numbers (the least upper bound property), and completeness is precisely the core property that the Cauchy sequence construction of the real numbers is meant to guarantee.63% similarUnverifiedHardy、Benedicks、Amrein-Berthier等人证明了函数及其傅里叶变换的支撑集不能同时具有有限测度（除非函数为零）63% similarUnverifiedIn 1931, Gödel proved the incompleteness theorems: any consistent formal system that includes arithmetic of natural numbers must contain propositions that can neither be proved nor disproved within the system, and the system cannot prove its own consistency internally.62% similarUnverifiedThe Navier-Stokes problem involves the core proposition of global regularity for nonlinear equations in the theory of partial differential equations61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1104667API
curl https://kongchang.com/api/v1/knowledge/claims/1104667MCP
get_claim(id=1104667)