Sorry I doubted your intellect other day on that paradox, btw. I dont fully know the resolution of it, but one clarifying thought I read on it was that "defines a number" is undecidable.