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\,.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.