Definition: an ordered field such that for every $x$ there exists an integer $n>x$.
(No citations retrieved.)