Comment by riverforest

Rigor is the whole point of math. The moment you start asking if there is too much of it you are solving a different problem.