Para una elaboración de este resultado véase el argumento diagonal de Cantor.