Probamos que el producto cartesiano de dos conjuntos numerables es numerable, y que la unión numerable de conjuntos numerables es numerable. Luego probamos Teorema de Cantor. Por último, se mencionan consecuencias de dicho teorema como la no computabilidad de todas las funciones de N en N.