How would one go about proving that a line in a metric geometry has infinitely many points? I assume it has something to do with the fact that the ruler applied to the line maps that line to the set of all reals and thus since the reals are infinite the line must contain that same number of points. Am I on the right track?

Thanks,

Ultros