Definable number/Talk

< Definable number

HomePage | Recent changes | View source | Discuss this page | Page history | Log in |

Printable version | Disclaimers | Privacy policy

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