En todos los enunciados se decía "si formula_1 es un conjunto...", pero nunca hemos asegurado antes que existiese algún conjunto.