Page "Definable real number" Paragraph 5

The field of definable numbers is not complete ; there exist convergent sequences of definable numbers whose limit is not definable ( since every real number is the limit of a sequence of rational numbers ).

However, if the sequence itself is definable in the sense that we can specify a single formula for all its terms, then its limit will necessarily be a definable number.