cantor diagonalization - German English Dictionary