Even the rational numbers have that property (the Archimedean property): for any distinct rationals s2 and s3, there exists a rational x such that s2 < x < s3.
Proof: x = (s2 + s3) / 2.
This is easily extended to show that there is an arbitrary number of such x.
Proof: x = (s2 + s3) / 2.
This is easily extended to show that there is an arbitrary number of such x.