I think you forgot to notice the diagonalization in the article. That is, the newly defined function precisely disagrees with the i-th function when input is i. A similar diagonalization process is used by Cantor to prove the reals are not countable.