ordered field axioms - Turc Anglais Dictionnaire