Loading problem…
Status
On this page
Status
Topics
Problem 659
Is there a set of points in such that every subset of points determines at least distances, yet the total number of distinct distances is
Source: erdosproblems.com/659
- Geometry
- Distances
Status
Solved, ProvedAn accepted solution exists. The statement is true.
Proved. The site's label is PROVED (LEAN); the formalization that
suffix marks assumes Bernays' theorem as an axiom, and this corpus has not built
it, so no formalized evidence is credited.