Estoy tratando de captar el Cantor diagonal de argumento para entender la prueba de que el poder conjunto de los números naturales es incontable. En la Wikipedia, es la siguiente ilustración:
La explicación de la prueba dice lo siguiente:
Por construcción, s difiere de cada sn, ya que su enésima dígitos diferentes (resaltado en el ejemplo). Por lo tanto, s no puede ocurrir en la enumeración.
No entiendo por qué la secuencia s
en la parte inferior puede ocurrir en cualquier lugar de la enumeración de las secuencias anteriores. He leído la prueba alrededor de cinco veces, pero todavía no estoy consiguiendo. Creo que estoy teniendo un error en el razonamiento. Podría alguien por favor me explique por qué s
no puede estar en la enumeración con un ejemplo?