数学や物理の本でよく
「2次以降の無限小は無視する。こうしても大丈夫」みたいなちょっとあいまいな記述がありますが
こういうことをしても後々矛盾とか一切出てこないという形式的な証明または説明ってあるんでしょうか？