El argumento diagonal de Cantor es una demostración sencilla de que existen conjuntos infinitos que no son numerables.