We begin with calling a positive integer curious if it can be defined in the English language  using no more than 1234 words. Since there are finitely many English words, we see that there are only finitely many curious positive integers.

Define $n_{0}$ to be: the least positive integer that is not curious.

$n_{0}$ has just been described in $8\leq 1234$ words, therefore, it is curious after all!

The paradox  above is called Berry’s Paradox. Berry’s Paradox suggests the advantage of separating the language used to formulate mathematical statements or theory (the object language) from the language used to discuss those statements or the theory (the metalanguage).

Berry’s Paradox can be avoided by the following reformulation:

1. 1.

fix the object language, called $\mathbf{E^{\ast}}$;

2. 2.

declare $\mathbf{E^{\ast}}$ to be different from our metalanguage, which is English here;

3. 3.

define a curious positive integer to be one which can be described in $\mathbf{E^{\ast}}$ using no more than 1234 words of the language;

4. 4.

define $n_{0}$ to be the least positive integer that is not curious.

In the reformulation, we have defined curious positive integers and $n_{0}$ in English, which is not $\mathbf{E^{\ast}}$. Thus, we have no basis to conclude that $n_{0}$ is curious, hence no contradiction   arises.

Commonly, $\mathbf{E^{\ast}}$ is the first order logic. However, it is not often necessarily the case, and $\mathbf{E^{\ast}}$ above could have been English anyway. We only need to formally distinguish the statements formulating the mathematics from the statements discussing those formulations, i.e., declaring the two classes of statements to be disjunct, perhaps by italicizing the former. Nevertheless, such approach evidently involves more work and is understandably hard to follow.

## References

• 1 Schechter, E., Handbook of Analysis and Its Foundations, 1st ed., Academic Press, 1997.
Title Berry’s paradox BerrysParadox 2013-03-22 18:06:03 2013-03-22 18:06:03 yesitis (13730) yesitis (13730) 7 yesitis (13730) Topic msc 03B99