Comment by eynsham

> Gödel’s second incompleteness theorem shows that you can prove anything, without that proof being meaningful is a lens into that.

What has Gödel incompleteness to do with that? We can just take any sentence φ as an axiom, and we’ve a trivial proof thereof.