Las clasificaciones formula_1 y formula_2 se definen en forma inductiva para todo número natural "n" utilizando las siguientes reglas: