さて！お待ちかねのトンデモ提言を投下致しますよ！
1≠0.999…なる公理系では
x→+0⇒x=1ｰ0.999…
x→ｰ0⇒x=0.999…ｰ1
が言える！
ちゅどぉーーん!!