In
Cantor's diagonal argument they say that s is not within the enumeration list $s_1,s_2,...s_n,...$ but how can they know that it isn't there?...It isn't a part of $s_1,s_2,...,s_n$ by construction but how can it be NOT one of the $s_{n+1},s_{n+2},...$?