Una sucesión con finitos unos se puede truncar después de su último 1, y las cadenas finitas de símbolos binarios forman un conjunto numerable. Un subconjunto de un conjunto no numerable puede ser numerable.
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.