アルキメデスの公理
定理:
$ hが正の定数ならば、任意の正の数$ Kに対して
$ nh>K
となる自然数$ Kが存在する。
アルキメデスの公理は、実数の連続性の公理を適当に定めることで、定理として導かれる。