"All mathematical proofs are worthless because you start with unprovable axioms or assumptions" said no one ever.

Yet people are trying to undermine usefulness of Rust based on it having `unsafe`...

(For those who don't get it: Rust types construct a proof of correctness of some properties with the assumption that all unsafe is correct.)