From a Ball Game to Incompleteness
We present a ball game that can be continued as long as wewish. It looks as though the game would never end. But byapplying a result on trees, we show that the game nonethelessends in some finite number of moves. We then point out somedeep results on the natural number system connected withthe game.