微分形式持ち出すのは卵が先か鶏が先か、というだけなわけです

高校の話ではdf/dx=f’(x)が先にあってdf=f’(x)dxが形式的

微分形式ではdf=f’(x)dxが先にあってdf/dx=f’(x)が形式的

何にも意味ないですよね