Das stimmt, das war mein Fehler.
Allerdings muss da nicht zwingend das Einselement gewählt werden, ich hatte das bloß aus Bequemlichkeit genommen.
Es reicht eigentlich, dass die Menge ein einziges von 0 verschiedenes Element besitzt - da sie ja abzählbar unendlich sein soll, existiert das mit Sicherheit.