I think the statement “this system is consistent” is a practical statement that is unprovable in a sufficiently powerful consistent system.

Can you help me understand the tone of your text? To me it sounds kinda hostile as if what you said is some kind of gotcha.