User blog comment:Wythagoras/All my stuff/@comment-10429372-20130718073726/@comment-7484840-20130718132159

Yes, but that 1000 character string could define a googol character string.

As for the removing of "being definable", this just adds to the problems before of the whole thing turning into a host of 'grey areas', as it is difficult if not impossible to give a strict boundary s to what means the same as "being definable".