well-ordering theorem - Alemán Inglés Diccionario