>>3の証明1の背理法を正しいと
認識するその心理は興味深い。さて

>>3の証明1の背理法の概要は、

1-0.999… ⇔ x　∧　x>0　と仮定★

x >1-0.999…9 = 0.000…1
なる 0.000…1が存在
∵ x>0 ⇒ x/10>0 ∵アルキメデス

ここまではokだ（論法してOkの意）
なぜかって、★の仮定はこの時点では
まだ矛盾してないからOK👌

ここから先の核心部分に踏み込むヨ

1-0.999…9 > 0.000…0999…
「0.000…0999…＜0となり矛盾」
とのことだが、ここだね。🤔

さてと、以下は証明した方の暗黙の
仮定を類推すると、（類推だけど）
「xより小さい値は0」かな🧐

さてと、矛盾をみちびいたなら、
★を否定する？　イヤイヤ🧐を
否定してもいいんぢゃないかな
ちなみにxもx/2もx/10も実数さ
まっ実数論が無限小を否定してるなら
単に、xは無限小ぢゃなくて可能無限小
と言い換えるだけに変更するけど

by 👾（オメガ星は変光星に変更した）