Cantor's Diagonal Argument

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A constructive proof method that, given any purported list (enumeration) of objects of a certain type, builds a new object by altering the nth feature of the nth listed object so that the constructed object cannot appear on the list.