あ、もしかして、超準解析では1≠0.99…となる「無限小を含むモデル」と
1=0.99…となる「実数体のモデル」と、両方を同時に考えるのか。
そんで≠となるモデルの方が大きいと。
すなわち無限小を含むモデルにおいて、（無限小）=0と見做すことで
できたモデル（実数体）においては1=0.99…となると。