Comment by natcombs

Thanks for the response. After reading it I think I may be less clear than in my initial reply now.

Question: Can a sentence be provably true in one arithmetic system but not another?

If so that means there are provably true sentences which exist, but not provably true with the axioms that I have at my disposal right now?