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:      ~[~ ( )][~ (])