下手に連続体仮説を喩えに出しとるが、要するに瀬田氏は
準超実数 且つ 順序体 ( に就き自動的に 準超実数体 ) で 非超現実数 の時
　「0.999≠1は証明できるとも反証(⇔0.999…=1の証明)できるとも言えない命題である」　と主張する訳じゃな？
そう主張するなら立場を明確にする意味で当レス鍵括弧を中身丸事、コピペしつつ正式に肯定して見せよ｡