Definable number/Talk
HomePage
|
Definable number
|
Recent Changes
|
Preferences
Showing revision 1
Difference (from revision 1 to revision 1)
(
minor diff
,
author diff
)
(The revisions are identical or unavailable.)
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?