Ordered field/Archimedean property/Definition

Archimedean ordered field

Let $K$ be an ordered field. $K$ is called Archimedean, if the following Archimedean axiom holds, i.e. if for every $x\in K$ there exists a natural number $n$ such that

$n\ge x.$