>>138
はい、知ったかぶり。何で順番を変えないんじゃ？

標準的な実数体のArchimedes性(0でない無限小は存在しない性質)を{1-0.999…≠0}なる性質に代えた時 s=1-0.999…を基本とすれば
故に w>v>u>s>t または t<s<u<v<w が解と成る｡