Diagonalverfahren,cantorsches Diagonalverfahren[nach G. Cantor],
Verfahren in der Mengenlehre zum Beweis, dass die Menge der rationalen Zahlen abzählbar ist (erstes Diagonalverfahren), wobei die rationalen Zahlen nach folgendem Schema abgezählt werden: