I am very fond of Goodstein's theorem and especially of its proof, using ordinal arithmetic to prove that an integer sequence (which at first sight seems hopelessly increasing) is ultimately zero. See for instance http://en.wikipedia.org/wiki/Goodstein%27s_theorem.
Laurent Moret-Bailly
- 20.2k
- 1
- 66
- 91