> No sufficiently large software system that interacts with the real world is provable to be correct like a mathematical statement is.

People who work in formal verification will either vehemently disagree with you or secretly know you're right.