Truth and Proof

The antinomy of the liar, a basic obstacle to an adequate definition of truth in natural languages, reappears in formalized languages as a constructive argument showing not all true sentences can be proved