This little guy craves the light of knowledge and wants to know why 0.999... = 1. He wants rigour, but he does accept proofs starting with any sort of premise.
Enlighten him.
Thanks for the clarification! In my mind, I sort of just think "metric first" so the topology induced by that metric is always just assumed, but that's because I don't ever work with non-metrizable spaces.