If the Gödelian form of the Liar paradox is used, for example, the Liar sentence can get the form where is a syntactic (or arithmetical) predicate uniquely satisfied by (the Gödel number of) itself.