También podemos definir una extensión de los números naturales, dada por formula_426donde el número cero, simbolizado como formula_427, representa al conjunto vacío, i.e.