Αριθμήσιμο
| Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. |
Στην θεωρία συνόλων, ένα σύνολο που είναι σε ένα προς ένα αντιστοιχία με το σύνολο των φυσικών αριθμών ονομάζεται αριθμήσιμο. Ένα σύνολο που είναι είτε πεπερασμένο είτε αριθμήσιμο ονομάζεται το πολύ αριθμήσιμο. Ένα σύνολο που δεν είναι το πολύ αριθμήσιμο ονομάζεται υπεραριθμήσιμο. Κάθε υποσύνολο ενός αριθμήσιμου συνόλου είναι το πολύ αριθμήσιμο.
