Well, rigorous proof is possible within mathematics[1]. However, applying that measure to verifying reality is nonsense. Even within maths, rigorous proofs require decoupling of the abstract proposition (what you prove) from reality (your assumptions).

[1] and "theoretical X" for X in {"computer science", "physics", "chemistry", ...}, which all are essentially math as well.