In der Logik scheinen wir es (zwar) || wohl mit ‚allen Sätzen’ zu tun zu haben. Aber wir konstruieren nur einen Kalkül & überlassen die Anwendung sich selbst.