The result is insane in my opinion, it means any sensible math system with basic arithmetic has a proposition that you cannot prove.

Stated more precisely, it has true propositions that you cannot prove to be true. Obviously it has false propositions that can’t be proven, too, but that’s not interesting.