Original: If it were provable , it would be false , which contradicts the idea that in a consistent system , provable statements are always true .
Simplified: If the sentence were true , then the statement would be false .