Cantor Diagonalization

A constructive method that, given a purported list (sequence) of objects represented by indexed entries, produces a new object by altering the diagonal entries so that the new object differs from every listed object; commonly used to prove uncountability of sets and to exhibit objects not captured by any effective enumeration.