ordered field axioms - Spanisch Englisch Wörterbuch