String Theory is not mathematically rigorous in my understanding

In Witten's book, the calculations are ``formal calculations" and it is not mathematically rigorous.

So it is not a math success.