Provamos anteriormente que toda família dominante é ilimitada, assim como provamos que uma família enumerável não é ilimitada. Disso concluímos que não existe família dominante que seja enumerável.