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\geq x\,.$