证明： 设α，β∈R，且α<β。由阿基米德性，必存在自然数N，使得N(β-α)>1，即β-α>(1/n) 任意取定有理数γ(0)0，a-γ(0)》0，故由阿基米德性，存在m∈N，使得γ(0)+(m/N)>α.可见，数列{γ(0)+(m/N)}中总有一项大于a. 设 γ(0)+(n(0)/N) 为此数列第一个大于α的项，于是γ(0)+(n(0)-1)/n ≤ α，故 γ(0)+(n(0)/N)-β≤a-(n(0)-1)/N+(n(0)/N)-β =a+(1/N)-β <0 即 α< γ(0)+(n(0)/N)<β，而 γ(0)+(n(0)/N)显然为有理数，即证。 类似可以证明：任意两个不相等的实数之间必存在一个无理数。于是有：任意两个不相等的实数之间必有一个实数。
