Así pues, un número natural es un concepto abstracto que representa cierta propiedad común a todos los conjuntos coordinables entre sí y que no son el conjunto vacío.