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