Property: Archimedean field

Definition: an ordered field such that for every $x$ there exists an integer $n>x$.