I think the short version is: just because any formal system is guaranteed to be incomplete doesn't mean it can't prove useful things. And even an incomplete f

I think the short version is: just because any formal system is guaranteed to be incomplete doesn't mean it can't prove useful things. And even an incomplete formal system can prove Gödel's Incompleteness Theorem.