# Ordered field/Archimedean property/Definition

Archimedean ordered field

Let be an
ordered field. is called * Archimedean*, if the following

*holds, i.e. if for every there exists a natural number such that*

__Archimedean axiom__Archimedean ordered field

Let ${}K$ be an
ordered field. ${}K$ is called * Archimedean*, if the following

- ${}n\geq x\,.$