Consideremos una función cualquiera formula_2, entonces demostrar el teorema de Cantor requiere probar que "f" no es sobreyectiva (exhaustiva).