More specifically he proved that you cannot prove that 1+1=2

That’s a misinterpretation of the incompleteness theorem: you should reread it. They did prove 1+1=2 from axioms with their methods.