0.9{base10}<0.99{base10} but 0.9...{base10}=0.99...{base10}
0.9{base10}<0.A{base11} but 0.9...{base10}=0.A...{base11}
0.8{base10}<0.9{base10} and 0.8...{base10}<0.9...({ase10}
0.9{base10}<0.A{base11} and 0.9...{base10}<0.A...{base11}
I’m not trying to prove “0.999...{base10}=1 “is false, nor that “0.111...(base2)=1” is either—in fact it’s an even more fascinating result.
Also “not(not(true))=true” is good enough for me as well.
It’s instructive to set out the proof you give for 0.999...=1 in number bases other than ten. For example base eleven, in which the maximum value single digit is conventionally represented as A and amounts to 10 (base ten). 10 (base eleven) amounts to 11 (base ten). So
Let x = 0.AAA...
10x = A.AAA...
10x—x = A
Ax = A
x = 1
0.AAA… = 1
But 0. A (base eleven) = 10⁄11 (base ten) which is bigger than 0.9 (base ten) = 9⁄10 (base ten). So shouldn’t that inequality apply to 0.AAA… (base eleven) and 0.999… (base ten) as well? (A debatable point maybe). If so, then they can’t both equal 1, unless we say something like 0.999...=1 and 0.AAA...=1 are both valid but base dependent equations, as indeed any such equation would be when using the top valued single digit of its base. This would mean 0.111...=1 in binary.