デテキント切断による実数の定義とやらが
不完全か間違っているだけ

書くまでもなく
0.999...<1

終わり