Utilizando el Teorema de Bernstein se prueba que todo conjunto infinito numerable admite una biyección con el conjunto de los números naturales. Por último, se prueba que todo subconjunto de números reales que satisface el principio del buen orden es numerable.