>>12
Hardly anyone learns or gives a shit about formal definitions and axioms, hence the disconnect. When all is said, 0.999... is a shit way to represent the unitary quantity, as far as most people are concerned. Face it, the formal definition of real numbers is not even close to common knowledge.