>>635
>超実数と拡張実数とは、結構違うよ

超実数は、単に実数の非標準的モデルにすぎません
実数論で成立することは実数論のどのモデルでも成立します
つまり非標準的モデルを持ち出しても実数論の定理は否定できません

>>638
>私は、現段階では、拡大実数R~やN~は、使わない

ではあなたには「箱入り無数目」を否定できません。

>使えないわけではないが

使えば「異数学」ですから、正統数学の外に出たことになります
いわゆる場外乱闘なので試合を放棄したことになります