You can play with the notations as much as you like, but it does not change the fact that, for example:
1 - 0.111...[base 2]=
0.000...1[base 2], or
1-0.999...[base 10]=
0.000...1[base 10], where
0.000...1[base 10] <
0.000...1[base 2].
You are also missing
http://www.internationalskeptics.com/forums/showpost.php?p=6451665&postcount=12034.
You are trying to prove something using a notation the meaning of which you don't understand well and that you call a "non-strict number," which means an "approximate form" in the traditional language. You are not familiar with the usage and interpretation of the approximate form.
Have you ever seen an expression, such as
e4 F?
You didn't, coz a thermometer scale cannot accommodate all possible exact results of various computations, such as
f(x) = e4. Instead, an analogue thermometer scale is divided into equidistant segments and the points are marked with decimal numbers. That means a meteorologist needs to convert the exact form
e4 into its approximate form, which is
54.598... to see if the temperature obtained by some formula is above or bellow the point of freezing.
The approximate form is necessary for scientific applications of math, and, as such, it's not a subject to any inquiries that concerns math itself.
The approximate form is used in computational devices, coz scientists use computers and calculators. The devices do the internal math in binary numbers and can't possibly handle any exact computations. So there is an agreement that when the result shows
0.111111111111, for example, it is equivalent to the exact form
1/9 The same goes for informal numerical definition in some math texts, such as
x = 0.111..., where the expression implies that x is approaching the limit
1/9; it doesn't indicate number
10-1 + 10-2 + 10-3...
You are trying to find a pointless line segment using . . . well, pointless arguments.