Demostrar por el PBO que todo entero positivo mayor que 1 tiene un divisor primo?

Respuesta : todo subconjunto no vacio de los enteros positivos tiene un elemento minimo.

El principio del buen orden nos garantiza que cualquier subconjunto del conjunto de los enteros que contiene solo numeros positivos, contieneun entero positivo menor menor que todos los demas.

Por ejemplo, el conjunto de los enteros positivos pares tiene un menor elemento, el 2.