You don't need maths or proofs to improve the safety of a programming language. Also, surely it's as much a psychology /workflow / management issue as much as Rust-like memory management etc.
Last time I checked, psychology doesn't affect how a computer program runs.
It affects the way it is developed: hurriedly, carefully, carelessly, etc. This, in a software team in the real world, is a significant factor in the consequent reliability of the software developed.
This suggests trying “scared that my wife and children will be executed if I do it wrong”.
Errrr.. yeah.... if that's how you think ... maybe you should be thinking of another career