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
![[Home]](wikipedia.png)