Definable number/Talk
HomePage
|
Definable number
|
Recent Changes
|
Preferences
Showing revision 1
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?