[davrosthedalek]

That's fine. The point is that the x is also not in the set of indescribable numbers (because you have described it with f(x)=5), assuming f is describable.