>>250
各 r について r∈I r であれば、それが一致する
というのが、要するに アルキメデスの原理でしょ？
貴方は、実数を、どう定義したの？
アルキメデス性は仮定したの？