> 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 t

> 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".