His point is different. You cannot (by definition) ever write a "name", a formula, a rule, a lim expression, anything really, for a real that is not in the useful reals.