I feel like I should comment on this, but Kiwi probably has a better handle on the math here anyway.
The rigorous logical proofs are to a large extent the whole point of math. We want to be able to demonstrate with certainty that whatever we're trying to do works, not wave our hands and say "meh, good enough" and hope it really is.
See that is where physics is superior. We just notice that it works and is correct and then don't bother about such small details.![]()
The rigorous logical proofs are to a large extent the whole point of math. We want to be able to demonstrate with certainty that whatever we're trying to do works, not wave our hands and say "meh, good enough" and hope it really is.