Con \(s_1=000\ldots\), \(s_2=111\ldots\) y \(s_3=0101\ldots\), ¿cuáles son los tres primeros términos de la sucesión diagonal \(t\), con \(t(n)=1-s_n(n)\)?
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.