~ξ(“ξ”) ≝ H(“ξ”) [m|M]it dieser Definition kann man den Ausdruck
       H(“H”) nicht erklären. Denn die Definition so sagt nur, daß
   H(“H”) so viel heißt, wie ~H(“H”). Aber die Definition lehrt doch eben die Bedeutung von “H”, & so
darf
kann
ich die Zeichen nun anwenden!” – Die Definition lehrt uns eine Anwen-
86
dung von “H” & nicht die welche wir in “H(“H”)” neu machen erklärt, lehrt dadurch die Bedeutung ˇden Gebrauch von ‘H(“ξ”)’, wenn die Bedeutung von ‘ξ(“ξ”)’ bekannt ist. Setzen wir aber “H”
an der Stelle von
statt
“ξ” ein, so lehrt uns nun die Regel (Definition) auch noch etwas: nämlich, daß wir statt ‘H(“H”)’ ‘~H(“H”)’ setzen dürfen; aber mehr sagt uns die Regel nicht.