In my view, the answer lies in the philosophical dimension.
Only a mathematically sound system can offer provable guarantees. Yet for many software engineers, mathematical soundness feels almost foreign. There is a tendency to draw a line between software and math, even though in reality no such separation exists. It often takes years - sometimes a decade or two after graduation - before one begins to recognize the unmistakable truth: when the components of a system are free from flaws, the system as a whole can be free from defects as well.
Getting to that understanding, however, is rarely painless. The road leading there is paved with trial and error, breaking changes, and the hotfixes needed to mend them.