  In the Handbook of Mathematical Logic, the Paris-Harrington variant of
Ramsey's theorem is celebrated as the first result of a long 'search' for a
purely mathematical incompleteness result in first-order arithmetic. This paper
questions the existence of any such search and the status of the
Paris-Harrington result as the first mathematical incompleteness result. In
fact, I argue that Gentzen gave the first such result, and that it was restated
by Goodstein in a number-theoretic form.

Logic