>>306
(引用開始)
これは実は、コーシー列であることを示すのと同じ
√２だろうがπだろうがｅだろうが
結局のところ無限小数として表すというのは
別に全部の桁を一遍に示すわけではなく
だんだん下の値まで確定していく列として示す
ということである
ここで、ナイーブな数のプラトニズムが崩壊する（笑）
(引用終り)

一句”不勉強 オチコボレのさばる 便所板”（字余り）
ここは中高一貫校生も来る可能性があるから
赤ペン先生をしておく

下記 東北大 尾畑研
https://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大 尾畑研
「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf)

第16章整数・有理数・実数
P247
16.3 実　数
P258
■実数の無限小数展開
p259
実数の無限小数展開という
x=ξ0ξ1ξ2・・・ξn・・・
のように書く
(引用終り)

厳然と、可算無限桁の無限小数展開が存在すると考えて良い
コーシー列においても、厳然と 可算無限個の数の列が存在すると考えて良い
その方が、カントールの対角線論法が 腑に落ちるｗｗ　；ｐ）