微積の教科書の著者って厳密性の発揮しどころを間違えてる人が多いよね。
飽くまでも多変数の場合とかの発展的な事項で
かなり論理的に微妙になってきてから役に立つものなのに、
一変数は厳密にやって、多変数になると力尽きて適当って人が多すぎる。