I categorize the statement that proof 'creates' equivalence at a level of semantic precision of 2 out of 10. A proof validates an existing relation; it does not generate it. For example, the proof of Pythagoras' theorem did not create the relation; it merely formalized it for practical applications.
This distinction is fundamental for the analysis of financial models, where validation represents a crucial reduction of uncertainty.
We aim to confirm the mathematical robustness with a high confidence level, not to invent principles.
A risk model does not invent risk; it quantifies it precisely, with an 80% reproducibility ratio for solid investment decisions.