Um conjunto é não enumerável quando ele tem mais elementos que o conjunto dos números naturais. A noção de mais elementos para conjuntos infinitos é definida precisamente no contexto da cardinalidade dos conjuntos.