I don't understand that argument. But in any case, Cantor's argument is very constructive. It literally gives you the decimal expansion of the new number not in your set.
I didn't do it that much justice because I was discovering it independently, my arguments can easily be made rigorous, but you'd need a background in pure mathematics to understand it. However, there's a section on Wiki:
