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.