者悖论（这里的"<"L">"表示"L这个命题"）:看起来它说的事情同于（这种推理基于几个相当似是而非的但公认不是无懈可击的前提，关于双重否定除去的和在<"P">和"P"之间联系--就是说在命题和命题所对应的事态之间的联系。粗略的说，我们称这种关系为"真理"，所以我们能够在某种意义上，移入和移出引号和标记命题的括号）。并且，如果我们继续运做在关于真理本质的无可置疑的质朴假定之上，则"L"看起来是"L' "的否定。所以，这是一个矛盾。（集合论和高阶逻辑的罗素悖论缘于类似的问题。）经典逻辑（或者更一般的说