ABSTRACT
The set of real numbers definable in a finite number of words is denumerable. But then we can describe in finitely many words another real number formed from an enumeration of the members of this set. So there is a real number that is defined in the enumeration if and only if it isn’t.
