Teorema: El conjunto de todos los subconjuntos finitos de los números naturales es contable.