Otra cosa es que los números naturales tienen, en el sentido técnico de la palabra, un buen ordenamiento, pues todo subconjunto de formula_1 tiene un primer elemento.