Eine Abzählung wäre ja wohl eine Abbildung bzw. eine Folge f:ℕ→ Q ∩ [0,1] , die
insbesondere surjektiv ist. Wenn die einen Grenzwert g hat, gibt es außerhalb einer
geeigneten Umgebung von g nur endlich viele Folgenglieder. Andererseits lässt sich die
Umgebung immer so wählen, das der Schnitt von Q mit einem Teilintervall von [0,1]
( Der ja unendlich viele Elemente hat, die alle in der Bildmenge von f liegen.)
außerhalb der Umgebung liegt. Das ist ein Widerspruch !