Was passiert nun, wenn wir in einer Formel die freien Variablen durch die Goedelnummer der Formel ersetzen, also Sub(x'', x'', x'). Die Operation wurde von Quine in The Ways of Paradox erstmals vorgestellt, deshalb definieren wir neues Praedikat Quine(x, x'), was nichts weiter als Sub(x'', x'', x') ist. Fuer a=S0 ist SSS...S0=S0 (erstes ganz lange Zahl, naemlich Goedelnummer von a=S0) eine Unwahrheit, aber Verneinung ist wahr.