Die Menge ist abzählbar.
Eine mögliche Abzählung f (also eine bijektive Abbildung von ℕ nach M ) wäre wie
folgt zu definieren.
f(2^n) = Zeichenkette der Länge n, die aus lauter 0en besteht.
(Für n=0 also die leere Zeichenkette)
Diese kann man ja auch interpretieren als Binärdarstellung der Zahl 2^n,
bei der man die erste Ziffer gestrichen hat.
Und dann kann man jeder nat. Zahl x , die größer als 2^n und kleiner
als 2^(n+1) die Zeichenkette zuordnen, die durch Weglassen der
führenden 1 in der Binärdarstellung von x entsteht.
Das ist dann immer eine Zeichenkette der Länge n.
Umgekehrt wird jede Zeichenkette der Länge n dabei erreicht
und da verschiedenen natürliche Zahlen auch verschiedenen
Binärdarstellungen haben, ist die Abbildung also bijektiv.