Esta forma de demostración fue aplicada por Cantor para probar que el conjunto de los números reales es "no numerable".