Se llama formula_17 ("alef") el cardinal de w, o sea del conjunto de los naturales (donde "alef" es la primera letra del alfabeto hebreo).