Sei ℕ0 = ℕ ∪ {0} die Menge der natürlichen Zahlen einschließlich der 0 und ℕ0 x ℕ0 = {(k; l) : k; l ∈ ℕ0}.
a) Zeigen Sie, dass ℕ0 abzählbar unendlich ist, und begründen Sie, dass dann auch ℕ0 x ℕ0 abzählbar ist.
b) Zeigen Sie die Abzählbarkeit von ℕ0 x ℕ0 direkt mit dem Cantorschen Diagonalverfahren.