Cantor diagonal argument (source code)

= Cantor diagonal argument
{c}
{wiki}

Cantor’s diagonal argument constructs an object differing from the nth listed object in its nth coordinate, proving no proposed enumeration is complete.