Goldstein da una definición de un "sistema formal finitista":