>>510

ご説明ありがとうございます。まだ腑に落ちないところがあります。

> 従来の方法ではない別の方法

とありますが、この方法によって実数論を定式化する場合は、ZF ではなく、別の形式的体系に於いて定式化しますか？

それとも、ZF ないしは ZFC をベースに、

> 従来の方法ではない別の方法

で実数論を定式化し、虚数単位 i を経由して、R を構成するという意味ですか？