Sea formula_1 un conjunto inductivo (existe alguno, por el Axioma del Infinito).