恐らく、微分の本質的な部分ってLeibnizの公式が満たされるかどうかだと俺は思うね
微分のようなもの幾つか知ってるけど全部これを満たしてる
Leibnizの公式が成立する理由が分数にあるなら、微分は分数と言って十分だと思う
そうなると最初に分数の定義って何？って話になるけど