Wait wait wait, proofs are still possible! The lesson of Godel's theorem is that you can have correctness or completeness, but not both within the same formal system. So you can have a system that yields only true statements, it just won't be able to encompass all true statements; or you can have a system that does encompass all true statements, but from which it is impossible to exclude some falsehoods.