well-ordering theorem - Francés Inglés Diccionario