Una sucesión de Goodstein es una sucesión matemática que se obtiene por la aplicación de un "operador de salto de base" (formula_1) sobre una semilla dada.