アンサイクロペディアのこの記述はどーなの？

＊＊＊

数列と数学的帰納法を用いて
0.9,0.99,0.999,0.9999,...

という数列がある。第一項の0.9は1でないことは明らか。第k項0.999...（k個分続く）が1でないと仮定した場合、
0.999...（k+1個分続く）が1でなければよいのである。そしてkが有限個の自然数であれば1と等しいとは認めて
いない。よって0.999...は1とは等しくない。