Esta argumentación no tiene fin: entonces no existe un último número natural, con lo cual el conjunto es infinito.