Reuben Goodstein es otro exponente del finitismo.