>>305
＞dxをいくらでも小さくすることで
＞微分係数やら定積分やらの値を
＞無限小数として、任意の桁の値も確定できる

これは実は、コーシー列であることを示すのと同じ

√２だろうがπだろうがｅだろうが
結局のところ無限小数として表すというのは
別に全部の桁を一遍に示すわけではなく
だんだん下の値まで確定していく列として示す
ということである

ここで、ナイーブな数のプラトニズムが崩壊する（笑）