< Definable number
The formula φ(x) is not restricted to first-order statements.
There are restrictions on φ, though, thaks to Berry's paradox. Should this be mentioned here?
Good point; yes, I think we should mention Berry's paradox and explain which φ's are allowed. Which ones are allowed? --AxelBoldt