Es decir que formula_2 es un elemento de formula_2 si y sólo si formula_2 no es un elemento de formula_2, lo cual es absurdo.