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.