>>573
その論理はおかしい。実数体は有理コーシー列から構成できるから、実数は必要ない。
有理コーシー列を使えばいい。……なんておバカな考えをする人間はいない。

超準解析は、それを使えば全く新しい数学の世界が広がるという類のものではないが、
しかし「ツール」としては優れているという。超準解析というツールがもたらす
発見的手法に価値がある。…らしい。
関数解析で未解決だった問題が超準解析で解かれたのも、そのおかげらしい。