https://imgur.com/a/Gzp2Ile
If you say "this is true" and you mention a MODEL or a STRUCTURE then you're doing set theory
proofs don't require set theory
the commonly stated "true but unprovable" is nonsense because you can't compare statements that are independent of set theory to statements that are dependent on ZFC axioms