>実数が存在しない前提なんだから
実数がまだ存在していないという前提なのだから