Construcción axiomática del conjunto de los números naturales a partir de una condición sobre su cardinalidad