well-ordering theorem - Spanisch Englisch Wörterbuch