Abzählbarkeitsaxiom

... is German for => axiom of countability