うーん 0.999...<1でもなんの問題も起きない気がしてきたぞ
ただし次のような定義を用いる
1)収束する実数列を引数にとり実数を返す関数Fがあって、「任意のnに対しあるm>nが存在してXn≠Xm」ならば「F({Xn})≠lim Xn」が常に成り立つ
このF(.)がスレ主の言う.....の正体
2)F(.)を含む命題P[F(Xn),F(Yn),a,b,...]は「任意のnに対しP[Xn,Yn,a,b,...]が成り立つ」と同値とする
こっから何かの矛盾って導ける？