いや超準解析使えば無限小はきちんと構成できるから存在すると言える訳で。
ただR*はArchimedesでも完備でも無い順序体だと言うだけで。