well-ordering theorem - Turco Inglés Diccionario