Interestingly, for any method of describing real numbers (i.e. mapping from finite strings to real numbers), the diagonal argument gives an explicit description

Interestingly, for any method of describing real numbers (i.e. mapping from finite strings to real numbers), the diagonal argument gives an explicit description of a single number that's undescribable by that method. Just out of reach, so to speak.