  The usual reasonings leading to the semantical antinomies cannot be reproduced for the Tarskian defined semantical concepts. In particular, the antinomy of the liar cannot be reproduced using the defined predicate Tr. Consider the version of the antinomy offered by Tarski (due to Łukasiewicz). Abbreviate the expression “the first underlined sentence of this entry” with the letter “c”. Now consider the sentence: