>>824
不定積分をmodulo定数な同値類だと看做すのと似たようなものだよ。
数列の極限を数列そのものをmoduloゼロ列で考えるのとも同じ。
>>822でやっているのはε>0なる添字を持つ無限族を考えている
ということ。
{dy_ε/dx_ε}_[ε>0] 自体を扱うことで、それをε↓0を表すものとして
形式的に扱うというようなことだけど、これは高校数学的な意味の
「ほぼ0だけど0じゃなくだからってどんな実数よりも大きくない」というような
素朴な無限小概念とマッチした捉え方になってる。

実際物理とかだとdxを素朴な無限小概念でバンバン使ってても、
「数学的に厳密」な無限小概念と齟齬が起きないというのは
ここからきてると見ることもできるだろう。