La diagonal cambia el \(n\)-ésimo término de la \(n\)-ésima sucesión, así que la nueva sucesión difiere de cada una de la lista. Las otras opciones no tienen esa propiedad.
Teorema que prueba que el conjunto \(\{0,1\}^{\mathbb{N}}\) de sucesiones de ceros y unos no es numerable, construyendo una sucesión que no está en ninguna lista.