>>503

ふつうはそうですよね。通常の数学を展開する形式的体系の ZF （又は ZFC）ならばそうです。

では確認ですが、

> iの存在性を仮定しないと、完備な実数体Rの構成も不可能。

というのは、数学における、どのような形式的体系での話ですか？
これはイヤミではなく、私は単に好奇心で知りたいからお尋ねします。