I'm actually curious what impact it would have on various proofs if 0.999... wasn't accepted as 1. What gets broken? What consequences do we hit?
Arithmetic breaks, as multiplication is no longer the inverse of division. (For example, 1/3 * 3 = 0.999… would no longer work.)
1/3 * 3 could still be equal to one. but 1/3 != 0.33333... that is, 1/3 is not representable in base 10. Which makes way more sense.
I wonder if taking 0.9999.. != 1, that is 0.0000...1 exists would allow us to reslove, the fact that some possible events have probability 0?