・任意の正の実数a、bに対し、適当に自然数を選んでna>bとできる。
・全ての実数に対し、それより大きな整数が存在する。

この2つの命題には両方ともアルキメデスと書かれていたのですが、同じことなのでしょうか？