En matemáticas, se define formula_10 como el menor cardinal mayor que formula_6, es decir, el menor cardinal mayor que el cardinal del conjunto de los números naturales.