Comment by wololongong

You cannot write a general Cauchy sequence of useful reals with a finite number of symbols. Hence you cannot in general express its limit with a finite number of symbols.