Ebenso, wie man durch die
Definition ~f(f) = S(f) zum Widerspruch
~S(S) = S(S) geführt wird, aber
das Zeichen “S(S)
” aus der Definition auch nicht erklären
kann.
Ich könnte es etwa so
versuchen: Wenn man statt
‘f’ ‘S’
setzt || einsetzt so
muß man wissen
welcher
Ausdruck nach der Definition für || für welchen Ausdruck
nach der Definition das S
stehen soll || steht. Am ehesten noch für
“~ ξ(ξ)” oder
“~ ( )”. Also heißt
“S(S)” soviel
wie “S(~ ( ))”,
oder etwa || aber nicht
“~ ( )(~ ( ))”:
denn zur
Ersetzung des S vor
seinem Argument soll ja nach der Definition so verfahren
5
werden:
~[~ ( )][~ (])