前提，因此该悖论被解决了。
真理语义学理论.真理的语义理论主张，对于给定语言，任何可接受的真理定义应该以下述模式的全部实例作为后承：当“P”是语句的指称（语句的名字）时，P正是语句本身。逻辑学家和哲学家塔斯基发展了对于形式语言（比如形式逻辑）的理论。这里，他以如下方式约束该理论：语言不能包含对自身的真值谓词，换言之，表达式“是真的”只能被应用于其他语言中的语句。后一种被谈论的语言他称之为对象语言（继而，对象语言可能包含应用于其他语言中的语句的真值谓词）。这种约束的原因在于，