The implementation is what needs to be tested. Consensus algorithms are generally proven rigorously (given certain empirically verifiable assumptions).
You're right, from a technology point of view. But for this system to run, you need to convince a lot of people, from different cultures/backgrounds, to use it.
Maybe talking about the safety of the bitcoin network instead of a mathematical proof makes that marketing challenge easier ?
