>>88-90
＞微分形式ではdf=f’(x)dxからdf/dx=f’(x)は形式的に導かれるものです
＞微分形式ではdf=f’(x)dxが先にあってdf/dx=f’(x)が形式的

全く違います
そもそも微分形式と関数の微分は別の概念であり、df/dx=f'(x)を形式的な表記などとは考えません
「df=f'(x)dx」という表記が、高校生にとってはただの記号遊びに過ぎず、数学科の学生にとっては厳密に数学的な表記である、というだけです
ちなみに誰も微分形式の考え方を高校生も学ぶべきとは書いてません

念のため書いておくと
df/dx=(d/dx)f
なので、高校数学の段階では、積分記号を抜かしてdxだけ取り出したり、df/dxを分数とみなした計算をしてしまうのは全く意味のない計算です
一方、dxやdtは微分形式としては意味があるので、そこで初めて「df=f'(x)dx」を数学的な意味で捉えることが出来るようになる、という話です

それから、上の方で微分形式の割り算は定義されない、とあなたは書いてますが、ある種の意味で微分形式の割り算は定義されます
初等的な多様体論では普通教わりませんが