Die Aufzählbarkeit der Mengenlehre ist eine Entsprechung zur Abzählbarkeit der Zahlentheorie.

Eine Menge M heißt aufzählbar, falls es eine surjektive Funktion gibt, die aus nach M abbildet. Die leere Menge heißt auch aufzählbar.

Diese Funktion muss nur existieren, muss aber nicht berechenbar sein.