So what that certain statements are undecidable? That isn't a barrier to maths or to logic, they are just labelled as undecidable and we can reason about them based on that knowledge.
Undecidability is an advancement in mathematics, and can probably be used for important things like encryption, we should stop thinking about it as a negative of mathematics, it is a strengthening of our understanding of logic, not a weakening by any means.

By submitting this form, you accept the Mollom privacy policy.