La razón por la que se podían escoger elementos mínimos de los subconjuntos de los naturales es que éstos vienen ya bien ordenados: todo subconjunto de los naturales tiene un único elemento mínimo respecto al orden natural.