~ξ(“ξ”)
≝ 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
Anwen
dung86
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.