Pues bien, el Teorema de Goodstein demuestra que para cualquier valor de la semilla, toda sucesión de Goodstein termina en cero.