~ξ(“ξ”) ≝ H(“ξ”) Mit dieser Definition kann man den Ausdruck
      H(“H”) nicht erklären. Denn die Definition sagt nur, daß
      H(“H”) so viel heißt, wie ~H(“H”). Aber die Definition lehrt doch eben die Bedeutung von “H”, & so kann || darf ich die Zeichen nun anwenden!” – Die Definition lehrt uns eine Anwendung von “H” & erklärt, lehrt dadurch die Bedeutung den Gebrauch von ‘H(“ξ”)’, wenn die Bedeutung von ‘ξ(“ξ”)’ bekannt ist. Setzen wir aber “H” statt || an der Stelle von “ξ” 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.