 where \(p\) stands for a sentence and \(x\) is a name of \(p\) (the idea being in accord to the classical correspondence intuition). The result that Tarski draws from the Liar is that there cannot be any interpreted language which is free from contradictions, obeys the classical laws of logic, and meets the requirements (I)–(III), where