Un conjunto no numerable es un conjunto que no puede ser enumerado, es decir, un conjunto tal que no existe una función sobreyectiva del conjunto de los número naturales a dicho conjunto.
Es decir, un conjunto A es no numerable si no existe ninguna función f tal que:
f :
{\displaystyle f:\mathbb {N} \to A\quad \land \quad f:{\mbox{sobreyectiva}}}
El argumento diagonal de Cantor es una demostración sencilla de que existen conjuntos infinitos que no son numerables.