>>284
＞「無限小」と「微分」を定義しなければならない

その必要はない。　無定義概念でいい。　要は、理論に矛盾が無ければよいのだ。