I'm trying to understand how diagonalization works. Once I make a function to go down the diagonal of a table, how do I ensure that the function is by definition 1-1 when I don't know all of what is in the diagonal because it is infinite? I need to be able to rule out duplicates when I define the function to construct my counterexample by diagonalization.