>>931

でも数学書を読んでいると、明らかではあるが、証明をするとなるとちょっと書くのが面倒ということは
非常に多いと思います。

なぜ、厳密性の水準を数学書の分野によって変化させるのかが納得いきません。