The liar paradox is the sentence "This sentence is false". An analysis of the liar sentence shows that it cannot be true (for then, as it asserts, it is false), nor can it be false (for then, it is true).

Gödel's incompleteness theorems