>>96
つまり、形式的ってことですよね

何も意味ないですよね

関数の微分ならちゃんとした意味付け可能ですよ？

f(x+Δx)=f(x)+A(x)Δx+o(Δx)とかけるとき、df(x,Δx)=A(x)Δx)と定義する

x(x+Δx)=x+Δxよりdx(x,Δx)=Δx

df=A(x)dx=f’(x)dx
df/dx=f’(x)

dfやdxはただの二変数関数ですから、どう書こうが関係ありませんし、厳密に意味付け可能です
多変数の場合や次数が上がっても同様に議論できます

これをしないでわざわざ微分形式持ち出すのは、それしか知らないからだとしか思えません