20/06/24 05:13:54 SonVvP1c.net
>>238-239
lim が「超実数から無限小超実数成分を丸めて最寄りの実数を求める操作」である事の文句は数学界に言え｡
ultralimit が「超々実数から無限小超々実数成分を丸めて最寄りの超実数を求める操作」である事の文句はTelence Taoに言え｡
「 1-0.999… は 0 ではない」等と言えるのは如何なる無限小差も講じる「超現実数」での話｡
じゃがアンタは「lim」と書き、其の時点で「超現実数成分、累超実数成分、超実数成分の
全てを丸めた実数の話」をしとった。もう其の時点で的外れじゃった訳じゃ｡