The above post assumes there can be a "smallest positive number" and that this allows one to have consecutive points in geometry. However consecutive points are not a feature of either Euclidean geometry or set theoretical constructions equivalent to Euclidean geometry. Thus both the novel geometry and novel definition of number would have to be developed before a case for the proposition being sound could be developed.
What i meant to say is that distance between two consecutive points in geometry has to be the smallest, so that no third point can be placed in between these two consecutive points.
If 1/2 is a number and ϵ is the "smallest positive number" described by hansda above, then is 0 ≤ (1/2) � ϵ ≤ ϵ < 1/2 < 1 true? Then is 0 < (1/2) � ϵ < ϵ false so that ϵ really is the smallest positive number? In that case, either 0 = (1/2) � ϵ or ϵ = (1/2) � ϵ so that 2 � ( (1/2) � ϵ ) = (1/2) � ϵ + (1/2) � ϵ â‰* ϵ. Does this not seem like a very strange property for a number to have?
Also ϵ − (1/2) � ϵ â‰* (1/2) � ϵ follows from the same assumption that ϵ is the smallest positive number.
As there can not be any third point, between the two consecutive points, the distance between these two consecutive points has to be non-zero, non-divisible and infinitesimal.