Llamemos formula_1 al "conjunto de todos los conjuntos que no se contienen a sí mismos como miembros".