Abzählbarkeit

==> Menge
==> Abbildung
<== Rekursionstheorie, Theorie rekursiver Funktionen
<== aufzählbar