Ese conjunto es no vacío, pues formula_11 es un elemento de cualquier conjunto inductivo.