> All reasoning requires some unprovable axioms. That's Godel's incompleteness theorem.

No, that's just reasoning. Godel's theorem is about the limitations of what you can build upon those axioms.

I'm not sure those limitations even matter much. What use is being able to prove "this statement is unprovable"?