事を説明を読んで、学が乏しいおれは不思議になる。0.11111...に置き換えて考えてみる。1確かに、0.111..に9を掛けた0.999...は1なので整合性は取れている。0.555...でやってみる。5トートロジーだった。そこでふと気づくが、0.999...って有理数じゃないじゃん。そりゃ無理がきくのも当然か。なんだこの数は(数の紳士録)では紹介されてないや。14:42)小数表記の定義から、あらゆる有限小数には、0でない最後の桁を1つ減らしてその後に9を無限に続けるという「別バージョンの表記」がある、ということは直接出てくるので、「0.999....という数」が1とは別に存在するわけではない、と理解しています。いうのと同型の話で、ひとつのものを表記するやり方が複数あるというだけだと。引き算による説明もトートロジーですね。19:45)おお、なるほど。別バージョンの定義があって、(定義である以上)整合性がとれるように定義されている、と理解しました(合ってるかな)。それがここでは0.999...と1.0なので何か特別な印象を持ててしまう(少なくとも僕は)ということなのか。