Category:Axiom of Archimedes

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Axiom of Archimedes:


Let $x$ be a real number.


Then there exists a natural number greater than $x$.

$\forall x \in \R: \exists n \in \N: n > x$


That is, the set of natural numbers is unbounded above.