Start of an outline of a proof of Goodstein's theorem