アルキメデスの原則
2つの正の数
$ \varepsilon, a
に対して:
$ n\varepsilon > a
なる自然数
$ n
が必ず存在する
アルキメデスの公理は、
実数の連続性の公理
を適当に定めることで、定理として導かれる。