ordered field axioms - Turkish English Dictionary