Cantor's diagonal argument (source code)

= Cantor's diagonal argument
{c}
{wiki}