Consistía en encontrar un algoritmo que validase la conclusión obtenida utilizando las reglas de Hilbert-Ackermann.