Darum kann die Sprache nur den Plan ausdrücken nicht seine Anwendung. Und die Logik nur den Plan untersuchen.