You wouldn't even notice if some proof is wrong because it relies on an inconsistency that's the issue. And that's before you didn't notice because noone builds anything on axioms but instead uses fragile foundations made of intuition, hand-waving, and mass psychology.
Incomplete is fine that's exactly what constructive maths is doing.