>>899
超準解析で証明できることは通常のモデルでも証明できることが
証明されているので、その意味では、超準解析は数学の裾野を
広げる類のモノでは無い。

しかし、関数解析の分野で未解決だったある定理は、超準解析の手法を
用いて証明された。後になって標準的な証明も見つかったが、
この事例から分かることは、少なくとも超準解析は、問題を解くための
「ツール」としての利用価値はあるということだ。