Esta definición inductiva define las clases formula_10 y formula_11 para cada número natural formula_12.