Si formula_15 es el conjunto de todos los subconjuntos inductivos de formula_6, formula_15 es no vacío, pues formula_150.