Comment by Konohamaru

The Axiom of Choice is not an example of Gödel's true-but-unprovable statements, because Gödel's statements are true in all models (as you said) but AoC is NOT true in all models. The Continuum Hypothesis isn't an example either for the same reason.