17/09/30 15:41:06.72 RVfojIiC.net
>>658
>>超実数と拡張実数とは、結構違うよ
>
>超実数は、単に実数の非標準的モデルにすぎません
>実数論で成立することは実数論のどのモデルでも成立します
>つまり非標準的モデルを持ち出しても実数論の定理は否定できません
おまえ、なにを言いたいのか意味不明だな
簡単に言えば
拡大実数（拡大実数）は、実数の±∞を追加したもの
超実数は、無限大の元に加えて、無限小の元も追加したものだよ
＜再録＞
URLﾘﾝｸ(ja.wikipedia.org)
超実数
(抜粋)
1960年代にロビンソンは、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。
URLﾘﾝｸ(ja.wikipedia.org)
拡大実数（拡大実数）
URLﾘﾝｸ(en.wikipedia.org)
Extended real number line
つづく