Esto es una contradicción, de modo que, aplicando el principio de reducción al absurdo, concluimos que el conjunto inicial no puede ser finito