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