> you cannot express the truthiness of a statement in the system within the system itself.
Of course not; I'm not talking about truthiness; I'm talking about truth.
> that what you stated above would be a huge result in mathematics
Not really; it's the same sort of trivially-blatantly-obvious thing as "two-boxing on Newcomb's problem is irrational" or "quantum superpositions never actually collapse".