なんか擬似問題臭くて良くわからんが、非可算無限と可算無限を同列に扱っている？

ε-δ論法の話をしているけど、「対象」が可算集合ならコンピュータでもε-δ論法を扱えるけど、「対象」が実数とかの無限列相当のものは扱えないよね。

ここは同意できているの？