It's established that decimal expansions are not bijective with the real numbers and some numbers have multiple decimal expansions that all give the same number. But analysing the proof of why this is seems to me to imply that regardless of the crap afflicting the rationals, every irrational number has exactly one decimal expansion.
Is that true?