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
All Wikipedia text
is available under the
terms of the GNU Free Documentation License