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 muss sich mit ihrer Anwendung berühren.

Also dürfen die Logik und ihre Anwendung einander nicht übergreifen.