>>227
ああ、そうか。
あれ、対角線論法って0.999...の扱いはどうしてたっけ。