Comment by red_trumpet

How can a statement that is unprovable be true?

I always had the impression that unprovable means you could add either the statement or its negation as an axiom, and both resulting systems are as consistent as the system you started with