5.557
Die Anwendung der Logik entscheidet darüber, welche Elementarsätze es gibt.
Was in der Anwendung liegt, kann die Logik nicht vorausnehmen.
Das ist klar: Die Logik darf mit ihrer Anwendung nicht kollidieren.
Aber die Logik muß sich mit ihrer Anwendung berühren.
Also dürfen die Logik und ihre Anwendung einander nicht übergreifen.