"Cantorsches Diagonalverfahren" Englisch